Mathematical Components wikimath-comp/math-comp
An extensive and coherent library of formalized mathematical theories built on the Coq/Rocq proof assistant with SSReflect.
683132Rocq Prover
2 days agoThere are currently 4 open-source projects built with ssreflect, with a combined total of 956 GitHub stars. The most common language among these projects is Rocq Prover.
Showing 4 open-source projects
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.
