proofs
by stepchowfun
My personal repository of formally verified mathematics.
AI summary
Formal math proofs
A personal repository of formally verified mathematics using the Coq proof assistant
- stars
- 292
- forks
- 12
- watching
- 11
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
Combinatorics library
Formalizes algebraic combinatorics and symmetric functions in Coq.
Group Theory Theorem Verification
Verifies a mathematical theorem in finite group theory
Theorem repository
Repository tracking famous theorems proved using proof assistants.
Formal verification toolkit
A collection of formal verification tools and libraries for writing secure and reliable software using the Coq proof assistant
Galois theorem formalizer
Formalization of mathematical theorems about solvability and Galois theory for polynomials
Proof assistant library
Python bindings for Coq's interactive proof assistant
Math proof tutor
A tutorial project on using Coq to mechanize mathematics with dependent types
Set Theory Formalization
A formalization of set theory and its foundational axioms in the Coq proof assistant language
Functional language formalization
Formalizations of functional languages with a focus on proof and verification
Code verification project
Verifying competitive programming solutions to catch errors and improve rigor through formal mathematical proof
Math Library
A comprehensive library of formalized mathematical theories
coq/platform191
Proof assistant distribution
A multi-platform distribution of the Coq proof assistant and its libraries, providing a standardized setup for development and teaching
Analysis library
A Coq proof-assistant library for real analysis and mathematical structures
Actuary software
Formalizes basic actuarial mathematics using Coq
