Remix clone Hacker News
new
|
show
|
ask
|
jobs
Github
▲
Coq theorem prover is now called Rocq
(
rocq-prover.org
)
4 points
by
rwmj
7 hours ago
