Finite sets, finite maps, multisets and generic sets

Proof of monoid presentation

Monadic effects and equational reasoning in Rocq

Algebraic Combinatorics in Coq

High level commands to declare a hierarchy based on packed classes

Formal power series in mathomp

repo pour les premiers algo en python du stage

Algebraic Combinatorics in Coq

The fastest feature-rich C++11/14/17/20/23 single-header testing framework

Newton series transformation

Mathematical Components

A primite Galton-Watson tree implementation using cilk

Mathematical Components compliant Analysis Library

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

The Incredible Proof Machine

Mathematical Components compliant Analysis Library

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

M1 ISD: Algorithmique Avancée

Fast combinatorics in C++ using SSE/AVX instruction sets

C++ library for semigroups and monoids

Computing the number of Numerical Monoid of a Given Genus

Mathematical Components

general wiki of the math-comp organization

Multinomials for the Mathematical Components library.

integer vectors modulo the action of a permutation group

Main repository for sharing files and documents about OpenDreamKit