Popular repositoriesLoading

1. lia4mathcomplia4mathcompPublic

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

   Coq 4

2. continuity-zoocontinuity-zooPublic

   Coq 2 2

3. HoTTHoTTPublic

   Forked fromHoTT/Coq-HoTT

   Homotopy type theory

   Coq

4. simplicialssimplicialsPublic

   Experimental Coq dev

   Coq

5. tutorialtutorialPublic

   Forked fromleanprover/tutorial

   Lean Tutorials

   TeX

6. alin-walksalin-walksPublic

   Coq