Anton Trunov

@falsenov

Coq programmer at ; previously at

Saint Petersburg
Joined May 2019

Tweets

You blocked @falsenov

Are you sure you want to view these Tweets? Viewing Tweets won't unblock @falsenov

  1. Retweeted
    Jan 27

    Hello all! Welcome to Coq's official Twitter! We will share exciting news and events related to Coq; see for the proper channels for bug reports or technical discussion. This account is community-managed by , , and . Have fun!

    Undo
  2. Retweeted
    24 Oct 2019

    Yes we did it! We won the Distinguished Artifact Award at OOPSLA 2019 . Thanks to all the hard work of the team and the support of all of you for making this possible. It's all about safer smart contract programming with ! 🔥

    Undo
  3. Retweeted
    4 Oct 2019

    Очень интересные задачи в домашках и семинарах. Рекомендую порешать даже тем, кто не ходит на курс. Приходится поломать голову даже с ванильным Coq. А уж с ssreflect...

    Undo
  4. Retweeted

    Мой аспирант (серебряный медалист национальной олимпиады по математике): «Всегда считал математику сложной: никогда нет уверенности, правильно ли доказал теорему или нет. Вот то ли дело с Coq — все намного проще стало».

    Undo
  5. Retweeted
    26 Sep 2019

    Для трудоголиков, которые в пятницу от работы оторваться не могут.

    Undo
  6. Retweeted

    Питерские! Я сам в Ростов на денёк, но вы помните, да, что завтра к 15:30 идёте на «Введение в Coq» к ?

    Undo
  7. Retweeted
    12 Sep 2019

    На этом форуме можно задавать вопросы про Coq по-русски! Есть и основной раздел на английском.

    Undo
  8. Retweeted
    9 Sep 2019

    The Scilla paper to appear at OOPSLA is now public: . For non-technical people, the following section is worth a read. See if you can identify the team, projects and individuals from the community that got a mention.

    Undo
  9. Retweeted
    Undo
  10. Retweeted
    7 Sep 2019

    Really cool project: a big Polymath-style formalization challenge: my only regret is that the formalization tool isn't fixed, and researchers aren't really given a straightforward way to divide efforts and collaborate.

    Undo
  11. Retweeted

    Питерские, 21 и 22 сентября нужно идти на вводный курс по Coq () к в CS-клуб. Это вообще без вариантов.

    Undo
  12. 5 Sep 2019

    Буду рассказывать в основном про верификацию функциональных программ на Coq/SSReflect + Mathcomp. Курс проводится при поддержке Тинькофф Финтех и МФТИ.

    Undo
  13. Retweeted
    3 Sep 2019

    Our survey paper on proof engineering is now published in FTPL. Check it out!

    Show this thread
    Undo
  14. 3 Sep 2019

    Verifying myself: I am anton_trunov on . a7FLXl2YVliaNjvY4mI3jiktYlvzNb2ZXRmB /

    Undo
  15. Retweeted
    30 Aug 2019

    Woohoo! 🎉🎉🎉 . Nice to see such emails on a Saturday morning! Our paper just got accepted at OOPSLA'19. Congratulations to all the co-authors, the broader team and the community for their contributions to Scilla. This makes Scilla a peer-reviewed language.

    Undo
  16. Retweeted
    10 Aug 2019

    Which mathematical Coq users use Twitter? is that a thing?

    Undo
  17. 8 Aug 2019

    I can't recommend enough! Cádiz is a beautiful place. If you go, make sure you attend 's workshop and talk to -- perhaps the most active members of the Scala community from Madrid and just awesome people. Mucha suerte chicos :)

    Undo
  18. 7 Aug 2019

    Hey cryptofolks, I hope you’ll like my example-driven comparison of the Scilla and Move languages. Thanks to , , Vaivas, , , Aparna for their support, suggestions, and proofreading

    Undo
  19. Retweeted
    29 Jul 2019

    We are recruiting heroes to participate in a study of the development processes of proof engineers in Coq. This study will help inform the design of future proof automation tooling. More information is in the video description. Please spread the word!

    Show this thread
    Undo
  20. Retweeted
    22 Jul 2019

    Do you want to make compiler error messages better? We're doing an analysis of (type) error messages for -- if you have a moment (or 10), we'd love for you to help out by participating! (RT would be most appreciated!)

    Undo

Loading seems to be taking a while.

Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.

    You may also like

    ·