coqtail-math
Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]
AI summary
Math library
A collection of mathematical theorems and tools within the Coq proof assistant
- stars
- 15
- forks
- 0
- watching
- 5
- awesome list
- 1
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
Math library
A comprehensive formalization of mathematical structures and concepts for verified computation in Coq.
Algebra library
A Coq library providing algebraic data structures and algorithms
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.
Graph formalizer
Formalized graph theory results for research and verification
Theorem repository
Repository tracking famous theorems proved using proof assistants.
Math library
A Coq implementation of mathematical concepts from N. Bourbaki's Elements of Mathematics
Topology library
Develops and formalizes basic concepts and results of general topology in Coq.
Regular language library
Provides definitions and verified translations between various representations of regular languages in the Coq proof assistant
Analysis library
A Coq proof-assistant library for real analysis and mathematical structures
Math investigations
Investigating various aspects of discrete mathematics and formal proofs in Coq, including ordinal numbers and computability theory.
Proof assistant
Coq proof assistant book with exercises and examples
Proof automation library
A Coq library demonstrating design patterns for automated proof automation and canonical structures
Bitset library
A formalization of bitset operations in Coq with extraction to OCaml native integers.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions coqtail-math.