Tweets
- Tweets, current page.
- Tweets & replies
You blocked @CoqLang
Are you sure you want to view these Tweets? Viewing Tweets won't unblock @CoqLang
-
Pinned Tweet
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 -
The Coq proof assistant Retweeted
With
@yurug, we are looking for candidates for two internships at@inria_paris +@IRIF_Paris to explore social and technical aspects of the creation of the Coq & OCaml platforms. Making@CoqLang and@OCamlLang more accessible is a top priority for us!https://coq.discourse.group/t/two-master-internship-proposals-to-explore-social-and-technical-aspects-of-the-creation-of-the-coq-and-ocaml-platforms/577 …Thanks. Twitter will use this to make your timeline better. UndoUndo -
Coq 8.11.0 has been released! It introduces Ltac2 tactic language and primitive IEEE 754 floats. A summary and packages for Windows & macOS are available at https://github.com/coq/coq/releases/tag/V8.11.0 …. An opam release is underway. Many thanks to the Coq team and the release manager P.-M. Pédrot!
Thanks. Twitter will use this to make your timeline better. UndoUndo -
The Coq proof assistant Retweeted
In this week's PL Perspectives (https://blog.sigplan.org/2020/01/29/mechanized-proofs-for-pl-past-present-and-future/ …),
@TaliaRinger describes the POPLmark retrospective panel she organized last week (https://popl20.sigplan.org/track/POPL-2020-poplmark-15-year-retrospective-panel …), and answers the question: was the POPLmark challenge successful?pic.twitter.com/26gemjqqW4
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Last week the 6th annual Coq for Programming Languages workshop (CoqPL) took place as a part of
@poplconf in New Orleans. Thanks to the great work of the organizers full videos of all the talks are already available online https://www.youtube.com/playlist?list=PLyrlk8Xaylp4-Ed1b4Vk57Fzx0aa95-Ag …#POPL2020Thanks. 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.