affeldt-aist

monae

Monadic effects and equational reasonig in Coq

infotheo

A Coq formalization of information theory and linear error-correcting codes

coq-robot

Mathematics of Rigid Body Transformationss using Coq and MathComp

seplog

ARCHIVE

ssrmint

succinct

mathcomp-install

Coq/SSReflect/MathComp installation instructions in Japanese

coq2html

An HTML documentation generator for Coq source files

analysis

Mathematical Components compliant Analysis Library

comp-dec-modal

Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]

coq

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 development of machine-checked proofs.

finmap

Finset and finmap library

coq-nix-toolbox

Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]

fourcolor

Formal proof of the Four Color Theorem

hierarchy-builder

High level commands to declare a hierarchy based on packed classes

math-comp

Mathematical Components

math-comp.github.io

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

nixpkgs

Nix Packages collection & NixOS

odd-order

The formal proof of the Odd Order Theorem

opam-coq-archive

Archive for all Coq related OPAM packages organized in various repositories

robustmean

Stage_coq

templates

Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@palmskog,@Zimmi48]

tools

Experimental toolbox to manage PR in mathcomp