Explore @math-comp Open Source projects

Mathematical Components (@math-comp)

math-comp

Stars
1,254
Global Org. Rank 13,146 (Top 5 %)
Registered over 9 years ago
Most used languages

Coq 73.9 %

Prolog
4.3 %

PostScript 4.3 %

HTML
4.3 %

TeX
4.3 %

Dockerfile
4.3 %

Nix
4.3 %

math-comp

Mathematical Components

analysis

Mathematical Components compliant Analysis Library

mcb

Mathematical Components (the Book)

hierarchy-builder

High level commands to declare a hierarchy based on packed classes

finmap

Finite sets, finite maps, multisets and generic sets

Coq-Combi

Algebraic Combinatorics in Coq

algebra-tactics

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

Abel

A proof of Abel-Ruffini theorem.

odd-order

The formal proof of the Odd Order Theorem

mczify

Micromega tactics for Mathematical Components

tutorial_material

proof script associated to tutorial material

multinomials

Multinomials for the Mathematical Components library.

real-closed

Theorems for Real Closed Fields

POPLmark

Solutions for the POPLmark challenge

math-comp.github.io

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

docker-mathcomp

Docker images of coq-mathcomp [maintainer=@erikmd]

bigenough

Asymptotic reasoning with bigenough

wiki

general wiki of the math-comp organization

mathcomp-history-before-github

The "coqfinitgroup" repository before the switch to github

dioid

A formalization of the algebraic structure of dioid and associated lemmas (including the Nerode lemma).

ssr-manual

SSReflect user manual

math-comp-nix

Nix support for mathcomp packages

cad

Formalizing Cylindrical Algebraic Decomposition related theories in mathcomp

newtonsums

Newton series transformation