Popular repositories Loading

1. lia4mathcomp lia4mathcomp Public

   Preprocessing goals featuring mathcomp style operations before applying the lia tactic.

   Coq 4

2. HoTT HoTT Public

   Forked from HoTT/Coq-HoTT

   Homotopy type theory

   Coq

3. simplicials simplicials Public

   Experimental Coq dev

   Coq

4. tutorial tutorial Public

   Forked from leanprover/tutorial

   Lean Tutorials

   TeX

5. alin-walks alin-walks Public

   Coq

6. coq coq Public

   Forked from coq/coq

   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