Popular repositories Loading

1. lia4mathcomp lia4mathcomp Public

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

   Coq 4

2. continuity-zoo continuity-zoo Public

   Coq 4 2

3. tutorial tutorial Public

   Forked from leanprover/tutorial

   Lean Tutorials

   TeX 1

4. opam-coq-archive opam-coq-archive Public

   Forked from rocq-prover/opam

   Archive for all Coq related OPAM packages organized in various repositories

   JavaScript 1

5. HoTT HoTT Public

   Forked from HoTT/Coq-HoTT

   Homotopy type theory

   Coq

6. simplicials simplicials Public

   Experimental Coq dev

   Coq