Pierre Roux's repositories
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
analysis
Mathematical Components compliant Analysis Library
bedrock2
A work-in-progress language and compiler for verified low-level programming
ceps
Coq Enhancement Proposals
coq-elpi
Coq plugin embedding elpi
Coq-Equations
A function definition package for Coq
coq-nix-toolbox
Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
coq-tactician
A Seamless, Interactive Tactic Learner and Prover for Coq
CoqEAL
CoqEAL -- The Coq Effective Algebra Library
docker-mathcomp
Docker images of coq-mathcomp [maintainer=@erikmd]
fiat
Mostly Automated Synthesis of Correct-by-Construction Programs
fiat-crypto
Cryptographic Primitive Code Generation by Fiat
finmap
Finset and finmap library
InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
math-comp.github.io
https://math-comp.github.io/
metacoq
Metaprogramming in Coq
multinomials
Multinomials for the Mathematical Components library.
nixpkgs
Nix Packages collection & NixOS
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
QuickChick
Randomized Property-Based Testing Plugin for Coq
relation-algebra
Relation algebra library for Coq
smtcoq
Communication between Coq and SAT/SMT solvers
trakt
A generic goal preprocessing tool for proof automation tactics in Coq
UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.