Popular repositories Loading

1. Divided-Difference Divided-Difference Public

   Paper and formalization on divided differences

   1

2. HoTT HoTT Public

   Forked from HoTT/Coq-HoTT

   Homotopy type theory

   Coq 1

3. opam-coq-archive opam-coq-archive Public

   Forked from coq/opam

   Archive for all Coq related OPAM packages organized in various repositories

   JavaScript 1

4. cubicaltt cubicaltt Public

   Forked from gullcomb/cubicaltt

   Haskell

5. toychain toychain Public

   Forked from verse-lab/toychain

   A minimalistic blockchain consensus implemented and verified in Coq

   Coq

6. corn corn Public

   Forked from coq-community/corn

   Coq Repository at Nijmegen

   Coq