Skip to content
@math-comp

Mathematical Components

Pinned Loading

  1. math-comp math-comp Public

    Mathematical Components

    Rocq Prover 665 126

Repositories

Showing 10 of 27 repositories
  • math-comp Public

    Mathematical Components

    math-comp/math-comp’s past year of commit activity
    Rocq Prover 665 126 125 37 Updated Jan 19, 2026
  • analysis Public

    Mathematical Components compliant Analysis Library

    math-comp/analysis’s past year of commit activity
    Rocq Prover 232 65 83 48 Updated Jan 18, 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 26 89 (1 issue needs help) 23 Updated Jan 8, 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 10 2 0 Updated Dec 10, 2025
  • 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 Dec 9, 2025
  • 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 3 2 Updated Nov 24, 2025
  • 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) 7 Updated Nov 7, 2025
  • finmap Public

    Finite sets, finite maps, multisets and generic sets

    math-comp/finmap’s past year of commit activity
    Rocq Prover 51 29 13 6 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 37 16 1 2 Updated Nov 5, 2025
  • real-closed Public

    Theorems for Real Closed Fields

    math-comp/real-closed’s past year of commit activity
    Rocq Prover 14 12 6 2 Updated Nov 4, 2025
View all repositories

Most used topics

Loading…