odd-order
Group Theory Theorem Verification
Verifies a mathematical theorem in finite group theory
The formal proof of the Odd Order Theorem
27 stars
16 watching
16 forks
Language: Coq
last commit: 5 months ago
Linked from 2 awesome lists
coqfeit-thompson-theoremmathcompodd-order-theoremssreflect
Related projects:
Repository | Description | Stars |
---|---|---|
| A personal repository of formally verified mathematics using the Coq proof assistant | 292 |
| Formalization of mathematical theorems about solvability and Galois theory for polynomials | 28 |
| Formalizes algebraic combinatorics and symmetric functions in Coq. | 37 |
| A formal proof of a fundamental result in graph theory using the Coq proof assistant | 174 |
| A formalization of information theory and linear error-correcting codes in Coq. | 64 |
| Formalizing mathematical theorems from Hardy's book in Coq to create a rigorous and reproducible formalization of number theory | 53 |
| A collection of reusable mathematical components and algorithms implemented in Coq | 5 |
| Provides a constructive account of Wim Veldman's proof of a variant of Kruskal's tree theorem for rose trees in Coq. | 0 |
| A Coq-based tutorial on set theory and theorem-proving using formalized mathematical proofs | 43 |
| A collection of notes and resources on formal methods, type theory, and theorem proving using Coq. | 21 |
| Repository tracking famous theorems proved using proof assistants. | 57 |
| A comprehensive library of formalized mathematical theories | 593 |
| A formalization of set theory and its foundational axioms in the Coq proof assistant language | 59 |
| A collection of formal verification tools and libraries for writing secure and reliable software using the Coq proof assistant | 444 |
| An algebraic combinatorics library formalized in Coq, providing a comprehensive set of functions and theories for symmetric functions. | 1 |