wr
hn
Top
New
Best
Ask
Show
Jobs
Back
R
rocq-prover.org
Coq theorem prover is now called Rocq
22 points
rwmj
6 months ago
25 comments
Discussion
