HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Rocq Prover | Hacker News Reader
Rocq Prover
rocq-prover.org
4 points
·
gfortaine
·
·
1 comment
Open article
Save
View on HN
lykahb
·
Formerly known as Coq prover.
Reply on news.ycombinator.com