GeezerVison is showing github.com — Mathematical Components
Pinned
Loading
Mathematical Components
Rocq Prover
712
136
Repositories
Loading
Type
All
Public
Sources
Forks
Archived
Mirrors
Templates
Language
All
Coq
Dockerfile
HTML
Nix
PostScript
Rocq Prover
Shell
TeX
Sort
Showing 10 of 27 repositories
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/math-comp's past year of commit activity
analysis
Public
Mathematical Components compliant Analysis Library
math-comp/analysis's past year of commit activity
math-comp/real-closed's past year of commit activity
Rocq Prover
15
12
6
1
Updated Nov 10, 2026
math-comp/tutorial_material's past year of commit activity
Rocq Prover
17
1
1
0
Updated Nov 9, 2026
finmap
Public
Finite sets, finite maps, multisets and generic sets
math-comp/finmap's past year of commit activity
Rocq Prover
51
28
12
5
Updated Nov 9, 2026
math-comp/algebra-tactics's past year of commit activity
Rocq Prover
39
6
0
0
Updated Nov 3, 2026
math-comp/math-comp.github.io's past year of commit activity
HTML
7
11
2
1
Updated Sep 22, 2026
dioid
Public
A formalization of the algebraic structure of dioid and associated lemmas (including the Nerode lemma).
math-comp/dioid's past year of commit activity
Rocq Prover
4
3
0
0
Updated Aug 31, 2026
Uh oh!
There was an error while loading. Please reload this page.
Most used topics
Loading…
Uh oh!
There was an error while loading. Please reload this page.