HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Rocq 9.2.0 Released | Hacker News Reader
Rocq 9.2.0 Released
rocq-prover.org
2 points
·
baruchel
·
·
1 comment
Open article
Save
View on HN
schonfinkel
·
For those unaware, one of the best resources to learn Rocq:
https://softwarefoundations.cis.upenn.edu/
Reply on news.ycombinator.com