Tweets
- Tweets, current page.
- Tweets & replies
- Media
You blocked @falsenov
Are you sure you want to view these Tweets? Viewing Tweets won't unblock @falsenov
-
Anton Trunov Retweeted
Hello all! Welcome to Coq's official Twitter! We will share exciting news and events related to Coq; see https://github.com/coq/coq for the proper channels for bug reports or technical discussion. This account is community-managed by
@ejgallego,@falsenov, and@Zimm_i48. Have fun!Thanks. Twitter will use this to make your timeline better. UndoUndo -
Anton Trunov Retweeted
Yes we did it! We won the Distinguished Artifact Award at OOPSLA 2019
@splashcon. 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#Scilla!#PushReuseableCode
pic.twitter.com/vKyIorVvhj
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Anton Trunov Retweeted
https://github.com/anton-trunov/coq-lecture-notes/ … Очень интересные задачи в домашках и семинарах. Рекомендую порешать даже тем, кто не ходит на курс. Приходится поломать голову даже с ванильным Coq. А уж с ssreflect...
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Anton Trunov Retweeted
Мой аспирант (серебряный медалист национальной олимпиады по математике): «Всегда считал математику сложной: никогда нет уверенности, правильно ли доказал теорему или нет. Вот то ли дело с Coq — все намного проще стало».
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Anton Trunov Retweeted
Для трудоголиков, которые в пятницу от работы оторваться не могут. https://www.youtube.com/watch?v=1B2IfWxiyNU …https://www.youtube.com/watch?v=uiohYwJQ4xo …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Anton Trunov Retweeted
Питерские! Я сам в Ростов на денёк, но вы помните, да, что завтра к 15:30 идёте на «Введение в Coq» к
@falsenov? https://compsciclub.ru/courses/intro-to-coq/2019-autumn/classes/ …Thanks. Twitter will use this to make your timeline better. UndoUndo -
Anton Trunov Retweeted
На этом форуме можно задавать вопросы про Coq по-русски! https://coq.discourse.group/t/coq/161 Есть и основной раздел на английском.
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Anton Trunov Retweeted
The Scilla paper to appear at OOPSLA is now public: https://ilyasergey.net/papers/scilla-oopsla19.pdf …. For non-technical people, the following section is worth a read. See if you can identify the team, projects and individuals from the
@zilliqa community that got a mention.pic.twitter.com/aLNFOusMa0
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Anton Trunov Retweeted
Really cool project: a big Polymath-style formalization challenge: https://verifythis.github.io/ 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.
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Anton Trunov Retweeted
Питерские, 21 и 22 сентября нужно идти на вводный курс по Coq (https://compsciclub.ru/courses/intro-to-coq/2019-autumn/about/ …) к
@falsenov в CS-клуб. Это вообще без вариантов.Thanks. Twitter will use this to make your timeline better. UndoUndo -
Буду рассказывать в основном про верификацию функциональных программ на Coq/SSReflect + Mathcomp. Курс проводится при поддержке Тинькофф Финтех и МФТИ.https://twitter.com/MikePotanin/status/1169648558003408896 …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Anton Trunov Retweeted
Our survey paper on proof engineering is now published in FTPL. Check it out! https://www.nowpublishers.com/article/Details/PGL-045 …
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Verifying myself: I am anton_trunov on http://Keybase.io . a7FLXl2YVliaNjvY4mI3jiktYlvzNb2ZXRmB / https://keybase.io/anton_trunov/sigs/a7FLXl2YVliaNjvY4mI3jiktYlvzNb2ZXRmB …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Anton Trunov Retweeted
Woohoo!


$ZIL. Nice to see such emails on a Saturday morning! Our#Scilla paper just got accepted at OOPSLA'19. Congratulations to all the co-authors, the broader@zilliqa team and the community for their contributions to Scilla. This makes Scilla a peer-reviewed language.pic.twitter.com/ZqQpeYvfoi
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Anton Trunov Retweeted
Which mathematical Coq users use Twitter?
#Coq is that a thing?Thanks. Twitter will use this to make your timeline better. UndoUndo -
I can't recommend
@Lambda_World enough! Cádiz is a beautiful place. If you go, make sure you attend@jeslg's workshop and talk to@juanshac -- perhaps the most active members of the Scala community from Madrid and just awesome people. Mucha suerte chicos :)https://twitter.com/jeslg/status/1159507771370459136 …Thanks. Twitter will use this to make your timeline better. UndoUndo -
Hey cryptofolks, I hope you’ll like my example-driven comparison of the Scilla and Move languages. Thanks to
@maqstik,@ilyasergey, Vaivas,@DaoChemist,@Woelgeest, Aparna for their support, suggestions, and proofreadinghttps://twitter.com/zilliqa/status/1159009807862509569 …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Anton Trunov Retweeted
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!https://www.youtube.com/watch?v=JzoRNwBPyGo …
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Anton Trunov Retweeted
Do you want to make compiler error messages better? We're doing an analysis of (type) error messages for
#ocaml -- if you have a moment (or 10), we'd love for you to help out by participating! http://dijkstra.eecs.umich.edu/~endremad/George_HumanStudy1/ … (RT would be most appreciated!)Thanks. Twitter will use this to make your timeline better. UndoUndo
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.