Pinned
Loading
Mathematical Components
Coq
590
115
Repositories
Showing 10 of 27 repositories
hierarchy-builder
Public
High level commands to declare a hierarchy based on packed classes
math-comp/hierarchy-builder’s past year of commit activity
Prolog
97
MIT
21
86
16
Updated Nov 28, 2024
math-comp/math-comp.github.io’s past year of commit activity
HTML
7
10
0
0
Updated Nov 28, 2024
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/trajectories’s past year of commit activity
Coq
0
4
8
0
Updated Nov 28, 2024
multinomials
Public
Multinomials for the Mathematical Components library.
math-comp/multinomials’s past year of commit activity
Coq
14
12
3
4
Updated Nov 26, 2024
Coq-Combi
Public
Algebraic Combinatorics in Coq
math-comp/Coq-Combi’s past year of commit activity
Coq
37
GPL-3.0
7
1
1
Updated Nov 18, 2024
Abel
Public
A proof of Abel-Ruffini theorem.
math-comp/Abel’s past year of commit activity
Coq
28
8
1
9
Updated Nov 15, 2024
odd-order
Public
The formal proof of the Odd Order Theorem
math-comp/odd-order’s past year of commit activity
Coq
27
16
1
3
Updated Oct 30, 2024
math-comp/docker-mathcomp’s past year of commit activity
Dockerfile
6
BSD-3-Clause
2
2
1
Updated Oct 21, 2024
Most used topics
Loading…
You can’t perform that action at this time.
