Laurent Théry's repositories
mathcomp-extra
Extra contribution for mathcomp
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
Language:Coq000
puzzle_cube
A formalisation in Coq of a simple puzzle
Verified-FEC
Verified Forward Erasure Correction in Coq