Skip to content
@math-comp

Mathematical Components

Pinned Loading

  1. math-comp math-comp Public

    Mathematical Components

    Rocq Prover 673 129

Repositories

Showing 10 of 27 repositories
  • math-comp Public

    Mathematical Components

    math-comp/math-comp’s past year of commit activity
    Rocq Prover 673 129 132 37 Updated Apr 9, 2026
  • analysis Public

    Mathematical Components compliant Analysis Library

    math-comp/analysis’s past year of commit activity
    Rocq Prover 240 65 93 58 Updated Apr 9, 2026
  • algebra-tactics Public

    Ring, field, lra, nra, and psatz tactics for Mathematical Components

    math-comp/algebra-tactics’s past year of commit activity
    Rocq Prover 38 4 14 (1 issue needs help) 0 Updated Apr 3, 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 30 94 (1 issue needs help) 26 Updated Apr 2, 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 16 1 2 Updated Apr 1, 2026
  • finmap Public

    Finite sets, finite maps, multisets and generic sets

    math-comp/finmap’s past year of commit activity
    Rocq Prover 51 29 12 4 Updated Apr 1, 2026
  • bigenough Public

    Asymptotic reasoning with bigenough

    math-comp/bigenough’s past year of commit activity
    Rocq Prover 5 5 0 0 Updated Mar 26, 2026
  • real-closed Public

    Theorems for Real Closed Fields

    math-comp/real-closed’s past year of commit activity
    Rocq Prover 14 12 6 1 Updated Mar 26, 2026
  • multinomials Public

    Multinomials for the Mathematical Components library.

    math-comp/multinomials’s past year of commit activity
    Rocq Prover 16 13 4 (1 issue needs help) 6 Updated Mar 25, 2026
  • mczify Public

    Micromega tactics for Mathematical Components

    math-comp/mczify’s past year of commit activity
    Rocq Prover 28 9 4 (1 issue needs help) 1 Updated Mar 25, 2026
View all repositories

Top languages

Loading…

Most used topics

Loading…