Pinned
Loading
Mathematical Components
Coq
627
121
Repositories
Showing 10 of 27 repositories
finmap
Public
Finite sets, finite maps, multisets and generic sets
math-comp/finmap’s past year of commit activity
analysis
Public
Mathematical Components compliant Analysis Library
math-comp/analysis’s past year of commit activity
math-comp/trajectories’s past year of commit activity
Coq
0
5
8
0
Updated Jun 3, 2025
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/math-comp’s past year of commit activity
odd-order
Public
The formal proof of the Odd Order Theorem
math-comp/odd-order’s past year of commit activity
Coq
30
16
1
3
Updated May 22, 2025
algebra-tactics
Public
Ring, field, lra, nra, and psatz tactics for Mathematical Components
math-comp/algebra-tactics’s past year of commit activity
mczify
Public
Micromega tactics for Mathematical Components
math-comp/mczify’s past year of commit activity
bigenough
Public
Asymptotic reasoning with bigenough
math-comp/bigenough’s past year of commit activity
Coq
4
3
0
0
Updated May 9, 2025
math-comp/docker-mathcomp’s past year of commit activity
Dockerfile
6
BSD-3-Clause
3
2
1
Updated May 2, 2025
Most used topics
Loading…
You can’t perform that action at this time.
