Explore projects

Command-line for ci.inria.fr.

Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

present is a combo of pandoc, reveal.js and mermaid. js to help to make beautiful and efficient presentations.

Destination gitlab page with simple file indexer that is one the target of release-on-tag project.

Mirror of the git repository of Coq now hosted at https://github.com/coq/coq (synchronized every 15min)