The Coq proof assistant

@CoqLang

Coq is a general-purpose proof assistant with applications in software and mathematics verification.

Joined January 2020

Tweets

You blocked @CoqLang

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

  1. Pinned Tweet
    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. With , we are looking for candidates for two internships at + to explore social and technical aspects of the creation of the Coq & OCaml platforms. Making and more accessible is a top priority for us!

    Undo
  3. Jan 30

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

    Undo
  4. Jan 29

    In this week's PL Perspectives (), describes the POPLmark retrospective panel she organized last week (), and answers the question: was the POPLmark challenge successful?

    POPLmark retrospective: interlocking gears connecting the past and the future
    Undo
  5. Jan 28

    Last week the 6th annual Coq for Programming Languages workshop (CoqPL) took place as a part of in New Orleans. Thanks to the great work of the organizers full videos of all the talks are already available online

    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

    ·