Popular repositories Loading

1. frap frap Public

   Forked from achlipala/frap

   Formal Reasoning About Programs

   Coq 1

2. CoqCat CoqCat Public

   Forked from wkolowski/CoqCat

   Formalization of Category Theory in Coq.

   Coq 1

3. Coq-HoTT Coq-HoTT Public

   Forked from HoTT/Coq-HoTT

   A Coq library for Homotopy Type Theory

   Coq 1

4. category-theory category-theory Public

   Forked from jwiegley/category-theory

   An axiom-free formalization of category theory in Coq for personal study and practical work

   Coq

5. monads monads Public

   Forked from benediktahrens/monads

   Coq code accompanying several articles on semantics of functional programming languages

   Coq

6. HoTT_Cohomology HoTT_Cohomology Public

   Forked from benediktahrens/HoTT_Cohomology

   Cohomology in HoTT

   Coq