dedekind-reals
A formalization of the Dedekind real numbers in Coq [maintainer=@andrejbauer]
AI summary
Real number theory
A formalization of Dedekind reals numbers in the Coq programming language
- stars
- 43
- forks
- 6
- watching
- 9
Similar projects
Found by comparing what the projects do, not just their names.
Graph formalizer
Formalized graph theory results for research and verification
Algebra library
A Coq library providing algebraic data structures and algorithms
Math investigations
Investigating various aspects of discrete mathematics and formal proofs in Coq, including ordinal numbers and computability theory.
Regular language library
Provides definitions and verified translations between various representations of regular languages in the Coq proof assistant
Math library
A Coq implementation of mathematical concepts from N. Bourbaki's Elements of Mathematics
Math library
A comprehensive formalization of mathematical structures and concepts for verified computation in Coq.
Graph algorithm formalization
Formalization of Tarjan and Kosaraju's strongly connected component algorithm in Coq for finite graphs.
Data structure library
A comprehensive library of verified data structures and algorithms in Coq
Math library
A library of abstract interfaces for various mathematical structures to facilitate algebraic manipulation and type class-based reasoning in Coq
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
Coq toolset
A collection of reusable Coq definitions and theorems for building software development tools
Semantics study
A comprehensive survey of programming language semantics styles implemented in Coq
Math library
A collection of mathematical theorems and tools within the Coq proof assistant
Symmetric functions library
An algebraic combinatorics library formalized in Coq, providing a comprehensive set of functions and theories for symmetric functions.
