odd-order
by math-comp
The formal proof of the Odd Order Theorem
AI summary
Group Theory Theorem Verification
Verifies a mathematical theorem in finite group theory
- stars
- 27
- forks
- 16
- watching
- 16
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Formal math proofs
A personal repository of formally verified mathematics using the Coq proof assistant
Galois theorem formalizer
Formalization of mathematical theorems about solvability and Galois theory for polynomials
Combinatorics library
Formalizes algebraic combinatorics and symmetric functions in Coq.
Graph theorem proof
A formal proof of a fundamental result in graph theory using the Coq proof assistant
Code library
A formalization of information theory and linear error-correcting codes in Coq.
Number theory formalism
Formalizing mathematical theorems from Hardy's book in Coq to create a rigorous and reproducible formalization of number theory
Math Library
A collection of reusable mathematical components and algorithms implemented in Coq
Tree theorem proof
Provides a constructive account of Wim Veldman's proof of a variant of Kruskal's tree theorem for rose trees in Coq.
Math proof framework
A Coq-based tutorial on set theory and theorem-proving using formalized mathematical proofs
Coq handbook
A collection of notes and resources on formal methods, type theory, and theorem proving using Coq.
Theorem repository
Repository tracking famous theorems proved using proof assistants.
Math Library
A comprehensive library of formalized mathematical theories
Set Theory Formalization
A formalization of set theory and its foundational axioms in the Coq proof assistant language
Formal verification toolkit
A collection of formal verification tools and libraries for writing secure and reliable software using 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.
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions odd-order.
