Skip to content
@math-comp

Mathematical Components

Pinned Loading

  1. math-comp math-comp Public

    Mathematical Components

    Rocq Prover 706 136

Repositories

Showing 10 of 27 repositories
  • math-comp Public

    Mathematical Components

    math-comp/math-comp's past year of commit activity
    Rocq Prover 706 136 133 56 Updated Oct 30, 2026
  • multinomials Public

    Multinomials for the Mathematical Components library.

    math-comp/multinomials's past year of commit activity
    Rocq Prover 17 14 4 (1 issue needs help) 6 Updated Oct 30, 2026
  • analysis Public

    Mathematical Components compliant Analysis Library

    math-comp/analysis's past year of commit activity
    Rocq Prover 246 76 102 70 Updated Oct 29, 2026
  • real-closed Public

    Theorems for Real Closed Fields

    math-comp/real-closed's past year of commit activity
    Rocq Prover 15 12 6 2 Updated Oct 28, 2026
  • algebra-tactics Public
    math-comp/algebra-tactics's past year of commit activity
    Rocq Prover 39 6 0 0 Updated Oct 28, 2026
  • hierarchy-builder Public

    High level commands to declare a hierarchy based on packed classes

    math-comp/hierarchy-builder's past year of commit activity
    Rocq Prover 104 MIT 32 95 (1 issue needs help) 32 Updated Oct 15, 2026
  • math-comp.github.io Public

    https://math-comp.github.io/

    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
  • Abel Public

    A proof of Abel-Ruffini theorem.

    math-comp/Abel's past year of commit activity
    Rocq Prover 30 9 1 11 Updated Aug 28, 2026
  • mczify Public

    Micromega tactics for Mathematical Components

    math-comp/mczify's past year of commit activity
    Rocq Prover 31 10 4 (1 issue needs help) 1 Updated Aug 20, 2026
View all repositories