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...
Algebraic Combinatorics in Coq
-
Updated
Apr 11, 2023 - Coq
CoqEAL -- The Coq Effective Algebra Library
-
Updated
Feb 7, 2021 - Coq
Coq formalization of decision procedures for regular expression equivalence [maintainer=@anton-trunov]
-
Updated
Jul 22, 2024 - Coq
Corpus of Coq code related to MathComp including several machine-readable representations
-
Updated
Sep 6, 2022 - Common Lisp
Stable sort algorithms and their stability proofs in Coq
-
Updated
Sep 11, 2024 - Coq
A Coq tactic for proving multivariate inequalities using SDP solvers
-
Updated
Nov 8, 2024 - Coq
Docker images of coq-mathcomp [maintainer=@erikmd]
-
Updated
Oct 21, 2024 - Dockerfile
Formal power series in mathomp
-
Updated
Sep 21, 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