The Coq proof assistant

@CoqLang

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

coq.inria.fr
Vrijeme pridruživanja: siječanj 2020.
0 fotografija ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @CoqLang

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @CoqLang

  1. Prikvačeni tweet
    27. sij

    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!

    1 reply 86 proslijeđenih tweetova 135 korisnika označava da im se sviđa
    Poništi
  2. proslijedio/la je Tweet
    31. sij

    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!

    1 reply 13 proslijeđenih tweetova 14 korisnika označava da im se sviđa
    Poništi
  3. 30. sij

    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!

    1 reply 8 proslijeđenih tweetova 31 korisnik označava da mu se sviđa
    Poništi
  4. proslijedio/la je Tweet
    29. sij

    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
    2 proslijeđena tweeta 12 korisnika označava da im se sviđa
    Poništi
  5. 28. sij

    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

    5 proslijeđenih tweetova 15 korisnika označava da im se sviđa
    Poništi

@CoqLang još nije objavio nijedan Tweet.

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·