Skip to content
@math-comp

Mathematical Components

Pinned Loading

  1. math-comp math-comp Public

    Mathematical Components

    Rocq Prover 696 135

Repositories

Showing 10 of 27 repositories
  • analysis Public

    Mathematical Components compliant Analysis Library

    math-comp/analysis's past year of commit activity
    Rocq Prover 247 73 103 77 Updated Sep 16, 2026
  • math-comp Public

    Mathematical Components

    math-comp/math-comp's past year of commit activity
    Rocq Prover 696 135 132 46 Updated Sep 15, 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
  • 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 Aug 20, 2026
  • docker-mathcomp Public

    Docker images of coq-mathcomp [maintainer=?]

    math-comp/docker-mathcomp's past year of commit activity
    Dockerfile 6 BSD-3-Clause 3 4 1 Updated Aug 20, 2026
  • odd-order Public

    The formal proof of the Odd Order Theorem

    math-comp/odd-order's past year of commit activity
    Rocq Prover 37 17 1 3 Updated Aug 20, 2026
  • Coq-Combi Public

    Algebraic Combinatorics in Coq

    math-comp/Coq-Combi's past year of commit activity
    Rocq Prover 39 GPL-3.0 9 2 0 Updated Aug 18, 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 0 Updated Jul 31, 2026
View all repositories