Showing 10 of 27 repositories

Coq-Combi Public
Algebraic Combinatorics in Coq

math-comp/Coq-Combi's past year of commit activity

Rocq Prover
38
GPL-3.0
10 1 0
Updated Aug 17, 2026
analysis Public
Mathematical Components compliant Analysis Library

math-comp/analysis's past year of commit activity
math-comp/math-comp's past year of commit activity
math-comp/math-comp.github.io's past year of commit activity

HTML
7 11 2 0
Updated Jul 31, 2026
mczify Public
Micromega tactics for Mathematical Components

math-comp/mczify's past year of commit activity
multinomials Public
Multinomials for the Mathematical Components library.

math-comp/multinomials's past year of commit activity
hierarchy-builder Public
High level commands to declare a hierarchy based on packed classes

math-comp/hierarchy-builder's past year of commit activity
math-comp/docker-mathcomp's past year of commit activity

Dockerfile
6
BSD-3-Clause
3 4 1
Updated Jul 24, 2026
odd-order Public
The formal proof of the Odd Order Theorem

math-comp/odd-order's past year of commit activity

Rocq Prover
37 17 1 3
Updated Jul 24, 2026
math-comp/real-closed's past year of commit activity

Rocq Prover
15 12 6 1
Updated Jul 23, 2026