Discover math-comp/dioid Open Source project

Stars
3
Rank 3,947,155 (Top 79 %)
Language Coq
License
Other
Created about 4 years ago
Updated about 1 year ago

math-comp

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

math-comp

Mathematical Components

Coq

562

analysis

Mathematical Components compliant Analysis Library

Coq

194

mcb

Mathematical Components (the Book)

TeX

139

hierarchy-builder

High level commands to declare a hierarchy based on packed classes

Prolog

finmap

Finite sets, finite maps, multisets and generic sets

Coq

Coq-Combi

Algebraic Combinatorics in Coq

Coq

algebra-tactics

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

Coq

Abel

A proof of Abel-Ruffini theorem.

Coq

odd-order

The formal proof of the Odd Order Theorem

Coq

mczify

Micromega tactics for Mathematical Components

Coq

tutorial_material

proof script associated to tutorial material

Coq

multinomials

Multinomials for the Mathematical Components library.

Coq

real-closed

Theorems for Real Closed Fields

Coq

POPLmark

Solutions for the POPLmark challenge

Coq

math-comp.github.io

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

HTML

docker-mathcomp

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

Dockerfile

bigenough

Asymptotic reasoning with bigenough

Coq

wiki

general wiki of the math-comp organization

mathcomp-history-before-github

The "coqfinitgroup" repository before the switch to github

Coq

ssr-manual

SSReflect user manual

PostScript

math-comp-nix

Nix support for mathcomp packages

Nix

cad

Formalizing Cylindrical Algebraic Decomposition related theories in mathcomp

Coq

newtonsums

Newton series transformation

Coq

math-comp/dioid

math-comp

Reviews

Repository Details

More Repositories