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 52 public repositories matching this topic...
Stable sort algorithms and their stability proofs in Coq
-
Updated
Jun 7, 2024 - Coq
A Coq formalization of information theory and linear error-correcting codes
-
Updated
Jun 7, 2024 - Coq
Ring, field, lra, nra, and psatz tactics for Mathematical Components
-
Updated
May 28, 2024 - Coq
Micromega tactics for Mathematical Components
-
Updated
May 28, 2024 - Coq
Monadic effects and equational reasonig in Coq
-
Updated
May 24, 2024 - Coq
Multinomials for the Mathematical Components library.
-
Updated
Apr 23, 2024 - Coq
A proof of Abel-Ruffini theorem.
-
Updated
Apr 8, 2024 - Coq
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
-
Updated
Mar 29, 2024 - Coq
A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@anton-trunov]
-
Updated
Mar 28, 2024 - Coq
A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]
-
Updated
Mar 20, 2024 - Coq
Graph Theory [maintainers=@chdoc,@damien-pous]
-
Updated
Mar 20, 2024 - Coq
Docker images of coq-mathcomp [maintainer=@erikmd]
-
Updated
Mar 8, 2024 - Dockerfile
A Coq tactic for proving multivariate inequalities using SDP solvers
-
Updated
Feb 27, 2024 - Coq
Formal power series in mathomp
-
Updated
Feb 15, 2024 - Coq
Created by Georges Gonthier
Released 2008
Latest release 5 months ago
- Followers
- 31 followers
- Repository
- math-comp/math-comp
- Website
- math-comp.github.io