Set-Theory
by choukh
A formalization of the textbook Elements of Set Theory
AI summary
Set Theory Formalization
A formalization of set theory and its foundational axioms in the Coq proof assistant language
- stars
- 59
- forks
- 4
- watching
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Math proof framework
A Coq-based tutorial on set theory and theorem-proving using formalized mathematical proofs
Category theory formalization
An implementation of category theory in the Coq proof assistant.
Formal math proofs
A personal repository of formally verified mathematics using the Coq proof assistant
Number theory formalism
Formalizing mathematical theorems from Hardy's book in Coq to create a rigorous and reproducible formalization of number theory
Category theory library
An axiomatic formalization of category theory in Coq for personal study and practical work
Coq handbook
A collection of notes and resources on formal methods, type theory, and theorem proving using Coq.
Real number theory
A formalization of Dedekind reals numbers in the Coq programming language
Functional language formalization
Formalizations of functional languages with a focus on proof and verification
Graph formalizer
Formalized graph theory results for research and verification
Symmetric functions library
An algebraic combinatorics library formalized in Coq, providing a comprehensive set of functions and theories for symmetric functions.
Mathematics formalization library
Formalizes mathematics using the univalent point of view
Code library
A formalization of information theory and linear error-correcting codes in Coq.
Geometry library
A formalization of geometry using the Coq proof assistant.
