math-comp
Mathematical Components for the Coq proof assistant
Latest release 1.12.0 - Published - 339 stars
ssreflect
Mathematical Components
Latest release 1.5 - Published - 339 stars