Pinned
Mathematical Components
Coq
554
110
Repositories
Showing 10 of 27 repositories
hierarchy-builder
Public
High level commands to declare a hierarchy based on packed classes
Prolog
92
MIT
19
66
14
Updated May 29, 2024
finmap
Public
Finite sets, finite maps, multisets and generic sets
Coq
46
29
14
4
Updated May 29, 2024
analysis
Public
Mathematical Components compliant Analysis Library
algebra-tactics
Public
Ring, field, lra, nra, and psatz tactics for Mathematical Components
mczify
Public
Micromega tactics for Mathematical Components
Coq
0
4
8
4
Updated May 22, 2024
cad
Public
Formalizing Cylindrical Algebraic Decomposition related theories in mathcomp
Coq
0
2
0
2
Updated May 17, 2024
multinomials
Public
Multinomials for the Mathematical Components library.
Coq
14
11
3
4
Updated Apr 23, 2024
Abel
Public
A proof of Abel-Ruffini theorem.
Coq
28
7
1
8
Updated Apr 8, 2024
Most used topics
Loading…
You can’t perform that action at this time.