Rocq
5 projects
Showing 5 of 5 projects
UniMathRocq Prover
A Coq library formalizing mathematics using univalent foundations and homotopy type theory.
#rocq-library#mathematics#foundations
Stars1.0k
Forks187
Last commit12 days ago
Mathematical Components wikiRocq Prover
An extensive and coherent library of formalized mathematical theories built on the Coq/Rocq proof assistant with SSReflect.
#rocq-library#mathematics#coq
Stars681
Forks131
Last commit9 days ago
MetaCoqRocq Prover
A project formalizing the Rocq proof assistant in Rocq itself, providing tools for metaprogramming and developing certified plugins.
#metaprogramming#coq#certified-software
Stars523
Forks97
Last commit9 days ago
VsCoq LegacyOCaml
A Visual Studio Code extension providing language server support for the Rocq/Coq interactive theorem prover.
#coq#language-server#vscode-extension
Stars452
Forks105
Last commit2 days ago
VsCoqOCaml
A Visual Studio Code extension providing language server support for the Rocq/Coq interactive theorem prover.
#coq#vscode-extension#ide-integration
Stars452
Forks105
Last commit2 days ago
Related Tags
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.