category-theory
by jwiegley
An axiom-free formalization of category theory in Coq for personal study and practical work
AI summary
Category theory library
An axiomatic formalization of category theory in Coq for personal study and practical work
- stars
- 759
- forks
- 71
- watching
- 20
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Category theory formalization
An implementation of category theory in the Coq proof assistant.
Category Theory Library
A JavaScript implementation of category theory concepts with various monad and functor classes.
Coq interface library
A Coq library providing definitions and notations to facilitate interaction between Haskell developers and the Coq proof assistant.
Category theory library
A Clojure library implementing category theory concepts for functional programming
Graph formalizer
Formalized graph theory results for research and verification
Symmetric functions library
An algebraic combinatorics library formalized in Coq, providing a comprehensive set of functions and theories for symmetric functions.
Probability library
A Coq-based probability theory library providing results and definitions for discrete probability, measure theory, and probabilistic choice monads.
Set Theory Formalization
A formalization of set theory and its foundational axioms in the Coq proof assistant language
Number theory formalism
Formalizing mathematical theorems from Hardy's book in Coq to create a rigorous and reproducible formalization of number theory
hott/coq-hott1.3K
Homotopy Type Theory Library
A Coq library for interpreting Martin-Löf's intensional type theory into abstract homotopy theory and relating it to higher category theory.
monad library
A Coq library for formalizing and reasoning about monads with equational logic
Coq math library
A Coq library providing an alternative set of axioms and type class mechanisms for building and proving mathematical theorems.
Algebra library
A Coq library providing algebraic data structures and algorithms
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions category-theory.
