GitHub Trending Topics Languages

/

rocq-prover rocq

Public

Watch0 Fork751 Star5.6K

Code Issues Pull requests Insights

HEAD

READMELGPL-2.1 license

No README is available through GitHub.

About

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

proof-assistant coq theorem-proving dependent-types

Readme
LGPL-2.1 license
Activity
5.6K stars
0 watching
751 forks

Contributors

View all contributors

See what the GitStar community is most excited about today.

Trending

GitHub Trending Today GitHub Trending Weekly GitHub Trending Monthly

Languages

Browse all languages Trending Python Trending JavaScript

Explore

Browse GitHub topics AI repositories Developer tools

© 2026 GitStarGitHub Trending source