analysis
by math-comp
Mathematical Components compliant Analysis Library
AI summary
Analysis library
A Coq proof-assistant library for real analysis and mathematical structures
- stars
- 210
- forks
- 47
- watching
- 18
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Math Library
A comprehensive library of formalized mathematical theories
Combinatorics library
Formalizes algebraic combinatorics and symmetric functions in Coq.
Coq tutorials
Tutorials and materials for teaching Coq-based mathematical component development
Math library
A library of abstract interfaces for various mathematical structures to facilitate algebraic manipulation and type class-based reasoning in Coq
Math library
A Coq implementation of mathematical concepts from N. Bourbaki's Elements of Mathematics
Coq library image
Provides Docker images for a Coq proof assistant library
Math Library
A collection of reusable mathematical components and algorithms implemented in Coq
Algebra library
A Coq library providing algebraic data structures and algorithms
Regular language library
Provides definitions and verified translations between various representations of regular languages in the Coq proof assistant
Coq math library
A Coq library providing an alternative set of axioms and type class mechanisms for building and proving mathematical theorems.
Math library
A comprehensive formalization of mathematical structures and concepts for verified computation in Coq.
Math library
A collection of mathematical theorems and tools within the Coq proof assistant
Tactic library
A Coq library that enables the use of Micromega arithmetic solvers for goals stated with Mathematical Components definitions
Compiler formalism
Formalizations of compiler design and virtual machine calculations in Coq
Proof assistant
Coq proof assistant book with exercises and examples
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions analysis.
