Mathematical Components
Mathematical Components is a repository of formalized mathematics developed using
the Coq proof assistant. This project finds its roots in the formal proof of
the Four Color Theorem. It has been used for large scale formalization projects,
including a formal proof of the Odd Order (Feit-Thompson) Theorem.
Here are 53 public repositories matching this topic...
Graph Theory [maintainers=@chdoc,@damien-pous]
-
Updated
Nov 30, 2024 - Coq
A Coq formalization of information theory and linear error-correcting codes
-
Updated
Nov 29, 2024 - Coq
A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]
-
Updated
Nov 16, 2024 - Coq
A proof of Abel-Ruffini theorem.
-
Updated
Nov 15, 2024 - Coq
Functional Algorithms Verified in SSReflect [maintainer=@clayrat]
-
Updated
Nov 17, 2024 - Coq
Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
-
Updated
Nov 13, 2024 - Coq
A Coq tactic for proving multivariate inequalities using SDP solvers
-
Updated
Nov 8, 2024 - Coq
The formal proof of the Odd Order Theorem
-
Updated
Oct 30, 2024 - Coq
Monadic effects and equational reasonig in Coq
-
Updated
Oct 25, 2024 - Coq
Docker images of coq-mathcomp [maintainer=@erikmd]
-
Updated
Oct 21, 2024 - Dockerfile
Formal power series in mathomp
-
Updated
Sep 21, 2024 - Coq
-
Updated
Sep 17, 2024 - Coq
Ring, field, lra, nra, and psatz tactics for Mathematical Components
-
Updated
Sep 11, 2024 - Coq
Micromega tactics for Mathematical Components
-
Updated
Sep 11, 2024 - Coq
Stable sort algorithms and their stability proofs in Coq
-
Updated
Sep 11, 2024 - Coq
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
-
Updated
Aug 19, 2024 - Coq
Created by Georges Gonthier
Released 2008
Latest release 4 days ago
- Followers
- 31 followers
- Repository
- math-comp/math-comp
- Website
- math-comp.github.io