tlc
by charguer
Library for Classical Coq
AI summary
Coq math library
A Coq library providing an alternative set of axioms and type class mechanisms for building and proving mathematical theorems.
- stars
- 38
- forks
- 14
- watching
- 6
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Math library
A library of abstract interfaces for various mathematical structures to facilitate algebraic manipulation and type class-based reasoning in Coq
Algebra library
A Coq library providing algebraic data structures and algorithms
Math library
A Coq implementation of mathematical concepts from N. Bourbaki's Elements of Mathematics
Math library
A collection of mathematical theorems and tools within the Coq proof assistant
Geometry library
A formalization of geometry using the Coq proof assistant.
Analysis library
A Coq proof-assistant library for real analysis and mathematical structures
Math library
A comprehensive formalization of mathematical structures and concepts for verified computation in Coq.
Math Library
A collection of reusable mathematical components and algorithms implemented in Coq
Graph formalizer
Formalized graph theory results for research and verification
Logical Deduction Library
Formalizations of logical deduction systems using Coq
Math Library
A comprehensive library of formalized mathematical theories
Coq tutorials
Tutorials and materials for teaching Coq-based mathematical component development
Formalism library
A comprehensive Coq library providing formal definitions and proofs of rewriting theory, lambda-calculus, and termination.
Topology library
Develops and formalizes basic concepts and results of general topology in Coq.
Relation Algebra Library
A Coq library providing algebraic tools and tactics for working with binary relations
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions tlc.
