gaia
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
AI summary
Math library
A Coq implementation of mathematical concepts from N. Bourbaki's Elements of Mathematics
- stars
- 30
- forks
- 7
- watching
- 10
- 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 comprehensive formalization of mathematical structures and concepts for verified computation in Coq.
Graph formalizer
Formalized graph theory results for research and verification
Regular language library
Provides definitions and verified translations between various representations of regular languages in the Coq proof assistant
Topology library
Develops and formalizes basic concepts and results of general topology in Coq.
Coq toolset
A collection of reusable Coq definitions and theorems for building software development tools
Coq math library
A Coq library providing an alternative set of axioms and type class mechanisms for building and proving mathematical theorems.
Analysis library
A Coq proof-assistant library for real analysis and mathematical structures
Geometry library
A formalization of geometry using the Coq proof assistant.
Math Library
A comprehensive library of formalized mathematical theories
Proof assistant
Coq proof assistant book with exercises and examples
Math investigations
Investigating various aspects of discrete mathematics and formal proofs in Coq, including ordinal numbers and computability theory.
Semantics study
A comprehensive survey of programming language semantics styles implemented in Coq
Data structure library
A comprehensive library of verified data structures and algorithms in Coq
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions gaia.
