Popular repositories Loading

1. coq-library-undecidability coq-library-undecidability Public

   Forked from uds-psl/coq-library-undecidability

   A library of formalised undecidable problems in Coq

   Coq 3 3

2. HoTT HoTT Public

   Forked from HoTT/Coq-HoTT

   Homotopy type theory

   Coq 1

3. effhol effhol Public

   Rocq Prover 1

4. coq-library-fol coq-library-fol Public

   Forked from uds-psl/coq-library-fol

   Rocq Prover 1 1

5. sierpinski-hott sierpinski-hott Public

   A mechanisation of Sierpinksi's theorem (GCH -> AC) in HoTT

   TeX

6. coq-synthetic-computability coq-synthetic-computability Public

   Forked from uds-psl/coq-synthetic-computability

   Coq