Community reviews
Community reviews for rocq-prover.org
No approved reviews for rocq-prover.org yet. Be the first to share your experience. See the independent website safety report.
Reviews do not change the independent technical Safety Score.
You need an account and verified email to post. Create a free account.
About rocq-prover.org
Rocq is a mature, dependently-typed functional programming language and interactive theorem prover. Learn more about its rich history.
Community ratingโ / 5(0 approved reviews)
ModerationActiveSubmissions are checked before publication
Independent assessmentSeparateVisitor opinions never change the Safety Score
Manually moderated
Reviews (0)
Approved reviews only, newest first. Each submission is held for moderation.