Laurent Théry's repositories
mathcomp-extra
Extra contribution for mathcomp
GeometricAlgebra
Work based on http://www-sop.inria.fr/marelle/GeometricAlgebra/
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
EdwardsEllipticCurve
Group Law for Elliptic Curves according to Tom Hales
multinomials
Multinomials for Ssreflect
puzzle_cube
A formalisation in Coq of a simple puzzle
Language:Coq000
VDproof
Coq Proof for Veltkamp/Dekker Algorithms with Directed Roundings
Language:Coq000
Verified-FEC
Verified Forward Erasure Correction in Coq
Language:CoqNOASSERTION000