Pinned Loading Mathematical Components
Rocq Prover 654 125
Repositories Showing 10 of 27 repositories 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 multinomials Public Multinomials for the Mathematical Components library.
math-comp/multinomials’s past year of commit activity math-comp/math-comp.github.io’s past year of commit activity HTML 7 10 0 0 Updated Nov 7, 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 finmap Public Finite sets, finite maps, multisets and generic sets
math-comp/finmap’s past year of commit activity Rocq Prover 51 29 13 4 Updated Nov 5, 2025 odd-order Public The formal proof of the Odd Order Theorem
math-comp/odd-order’s past year of commit activity Rocq Prover 36 16 1 3 Updated Nov 5, 2025 math-comp/real-closed’s past year of commit activity Rocq Prover 14 11 6 1 Updated Nov 4, 2025 mczify Public Micromega tactics for Mathematical Components
math-comp/mczify’s past year of commit activity Abel Public A proof of Abel-Ruffini theorem.
math-comp/Abel’s past year of commit activity Rocq Prover 30 8 1 10 Updated Oct 17, 2025
Most used topics Loading…
You can’t perform that action at this time.
