Mentions légales du service
Separation Logic with Characteristic Formulae Entirely within Coq
An LR(1) parser generator for OCaml.
Coccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code.
Python Semantics in Skel
Itauto: an Extensible Intuitionistic SAT Solver
New ocsigen-based daemon for Grew-match
Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Server side of the Grew-web tool
Mirror of the git repository of Coq now hosted at https://github.com/coq/coq (synchronized every 15min)