-
-
Coq-HoTT Public
Forked from HoTT/Coq-HoTTA Coq library for Homotopy Type Theory
-
category-theory Public
Forked from jwiegley/category-theoryAn axiom-free formalization of category theory in Coq for personal study and practical work
Coq BSD 3-Clause "New" or "Revised" License UpdatedJan 22, 2025 -
TypeTheory Public
Forked from UniMath/TypeTheoryThe mathematical study of type theories, in univalent foundations
Coq UpdatedJan 21, 2025 -
topology Public
Forked from rocq-community/topologyGeneral topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]
Coq Other UpdatedOct 19, 2024 -
frap Public
Forked from achlipala/frapFormal Reasoning About Programs
-
CoqCat Public
Forked from wkolowski/CoqCatFormalization of Category Theory in Coq.
-
monads Public
Forked from benediktahrens/monadsCoq code accompanying several articles on semantics of functional programming languages
Coq The Unlicense UpdatedOct 15, 2018 -
HoTT_Cohomology Public
Forked from benediktahrens/HoTT_CohomologyCohomology in HoTT
Coq UpdatedNov 28, 2012
{{ message }}