Movatterモバイル変換

Showing 10 of 27 repositories

math-comp Public
Mathematical Components
math-comp/math-comp’s past year of commit activity
Coq 607 117 115 43 UpdatedMar 20, 2025
trajectories Public
math-comp/trajectories’s past year of commit activity
Coq0 5 8 0 UpdatedMar 18, 2025
analysis Public
Mathematical Components compliant Analysis Library
math-comp/analysis’s past year of commit activity
Coq 215 49 86 42 UpdatedMar 17, 2025
finmap Public
Finite sets, finite maps, multisets and generic sets
math-comp/finmap’s past year of commit activity
Coq 47 28 11 2 UpdatedMar 13, 2025
Abel Public
A proof of Abel-Ruffini theorem.
math-comp/Abel’s past year of commit activity
Coq 28 8 1 9 UpdatedMar 7, 2025
real-closed Public
Theorems for Real Closed Fields
math-comp/real-closed’s past year of commit activity
Coq 13 11 5 1 UpdatedFeb 28, 2025
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
Coq 3 2 0 0 UpdatedFeb 27, 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
Coq 97MIT 23 80 (1 issue needs help) 20 UpdatedFeb 25, 2025
multinomials Public
Multinomials for the Mathematical Components library.
math-comp/multinomials’s past year of commit activity
Coq 14 13 3 4 UpdatedFeb 25, 2025
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 4 UpdatedFeb 24, 2025