Popular repositories Loading

1. cours-preuves-ordinateur cours-preuves-ordinateur Public

   Page du cours preuves assistées par ordinateur 2021

   TeX 17 5

2. LMFI-HoTT LMFI-HoTT Public

   TeX 8 4

3. coq-hh coq-hh Public

   Hugo Herbelin's public Coq branches

   OCaml 6

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. opam-repository opam-repository Public

   Forked from ocaml/opam-repository

   Main public package repository for OPAM, the source package manager of OCaml.

   OCaml 1

6. infinite-pigeonhole infinite-pigeonhole Public

   Program extraction from classical proofs of the infinite pigeonhole principle

   Rocq Prover 1