Skip to content
@math-comp

Mathematical Components

Pinned Loading

  1. math-comp math-comp Public

    Mathematical Components

    Coq 597 117

Repositories

Showing 10 of 27 repositories
  • trajectories Public
    math-comp/trajectories’s past year of commit activity
    Coq 0 4 8 0 Updated Jan 6, 2025
  • Coq-Combi Public

    Algebraic Combinatorics in Coq

    math-comp/Coq-Combi’s past year of commit activity
    Coq 38 GPL-3.0 7 1 2 Updated Jan 5, 2025
  • odd-order Public

    The formal proof of the Odd Order Theorem

    math-comp/odd-order’s past year of commit activity
    Coq 29 16 1 3 Updated Jan 4, 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
    Prolog 97 MIT 22 76 (1 issue needs help) 17 Updated Jan 3, 2025
  • analysis Public

    Mathematical Components compliant Analysis Library

    math-comp/analysis’s past year of commit activity
    Coq 212 48 81 47 Updated Dec 29, 2024
  • math-comp Public

    Mathematical Components

    math-comp/math-comp’s past year of commit activity
    Coq 597 117 112 45 Updated Dec 21, 2024
  • finmap Public

    Finite sets, finite maps, multisets and generic sets

    math-comp/finmap’s past year of commit activity
    Coq 47 28 16 4 Updated Dec 20, 2024
  • 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 0 0 Updated Dec 18, 2024
  • cad Public

    Formalizing Cylindrical Algebraic Decomposition related theories in mathcomp

    math-comp/cad’s past year of commit activity
    Coq 0 LGPL-3.0 2 0 2 Updated Dec 12, 2024
  • multinomials Public

    Multinomials for the Mathematical Components library.

    math-comp/multinomials’s past year of commit activity
    Coq 14 12 3 4 Updated Dec 11, 2024
View all repositories

Top languages

Loading…