Popular repositories Loading

1. github-slideshow github-slideshow Public

   A robot powered training repository 🤖

   Ruby

2. coq coq Public

   Forked from rocq-prover/rocq

   Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

   OCaml

3. quentincanu.github.io quentincanu.github.io Public

   Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

   JavaScript

4. refinement refinement Public

   Coq 2

5. Coq-Polyhedra Coq-Polyhedra Public

   Forked from Coq-Polyhedra/Coq-Polyhedra

   Formalizing convex polyhedra in Coq

   Coq

6. trakt trakt Public

   Forked from ecranceMERCE/trakt

   A generic goal preprocessing tool for proof automation tactics in Coq

   Prolog