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! coq.discourse.group/t/two-master-i…

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 github.com/coq/coq/releas…. An opam release is underway. Many thanks to the Coq team and the release manager P.-M. Pédrot!

In this week's PL Perspectives (blog.sigplan.org/2020/01/29/mec…), @TaliaRinger describes the POPLmark retrospective panel she organized last week (popl20.sigplan.org/track/POPL-202…), and answers the question: was the POPLmark challenge successful? pic.twitter.com/26gemjqqW4

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 youtube.com/playlist?list=… #POPL2020

Hello all! Welcome to Coq's official Twitter! We will share exciting news and events related to Coq; see 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!