Baby-Set-Theory
by choukh
Coq集合论中文教程
AI summary
Math proof framework
A Coq-based tutorial on set theory and theorem-proving using formalized mathematical proofs
- stars
- 43
- forks
- 3
- watching
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Set Theory Formalization
A formalization of set theory and its foundational axioms in the Coq proof assistant language
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
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 collection of mathematical theorems and tools within the Coq proof assistant
Galois theorem formalizer
Formalization of mathematical theorems about solvability and Galois theory for polynomials
Code library
A formalization of information theory and linear error-correcting codes in Coq.
Math library
A Coq implementation of mathematical concepts from N. Bourbaki's Elements of Mathematics
Coq handbook
A collection of notes and resources on formal methods, type theory, and theorem proving using Coq.
Graph formalizer
Formalized graph theory results for research and verification
Coq tutorials
Tutorials and materials for teaching Coq-based mathematical component development
Combinatorics library
Formalizes algebraic combinatorics and symmetric functions in Coq.
Math library
A library of abstract interfaces for various mathematical structures to facilitate algebraic manipulation and type class-based reasoning in Coq
Math investigations
Investigating various aspects of discrete mathematics and formal proofs in Coq, including ordinal numbers and computability theory.
