coq-hardy
by geohot
Formalizing the Theorems from Hardy's "An Introduction to the Theory of Numbers" in coq
AI summary
Number theory formalism
Formalizing mathematical theorems from Hardy's book in Coq to create a rigorous and reproducible formalization of number theory
- stars
- 53
- forks
- 5
- watching
- 5
Similar projects
Found by comparing what the projects do, not just their names.
Geometry library
A formalization of geometry using the Coq proof assistant.
Math proof framework
A Coq-based tutorial on set theory and theorem-proving using formalized mathematical proofs
Set Theory Formalization
A formalization of set theory and its foundational axioms in the Coq proof assistant language
Graph formalizer
Formalized graph theory results for research and verification
Galois theorem formalizer
Formalization of mathematical theorems about solvability and Galois theory for polynomials
Combinatorics library
Formalizes algebraic combinatorics and symmetric functions in Coq.
Real number theory
A formalization of Dedekind reals numbers in the Coq programming language
Category theory library
An axiomatic formalization of category theory in Coq for personal study and practical work
Symmetric functions library
An algebraic combinatorics library formalized in Coq, providing a comprehensive set of functions and theories for symmetric functions.
Math investigations
Investigating various aspects of discrete mathematics and formal proofs in Coq, including ordinal numbers and computability theory.
Coq handbook
A collection of notes and resources on formal methods, type theory, and theorem proving using Coq.
Math library
A Coq implementation of mathematical concepts from N. Bourbaki's Elements of Mathematics
Mathematics formalization library
Formalizes mathematics using the univalent point of view
Coq math library
A Coq library providing an alternative set of axioms and type class mechanisms for building and proving mathematical theorems.
Graph theorem proof
A formal proof of a fundamental result in graph theory using the Coq proof assistant
