Coq theorem prover is now called Rocq

Rocq is a mature, dependently-typed functional programming language and interactive theorem prover. Learn more about its rich history.
18 points by rwmj 189 days ago rocq-prover.org 15 comments
Summary not yet generated for this article.

Comments (15 of ) ⌛

Loading more comments... ⌛
Scroll down to load more comments
No comments available.
Type to search HN and engineering blog articles
Press Escape to close  |  ↑↓ to navigate  |  Enter to open