Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
Rocq 9.2.0 Released | Dark Hacker News
Rocq 9.2.0 Released
(rocq-prover.org)
2 points
by
baruchel
41 days ago
| 1 comment
schonfinkel
41 days ago
|
next
[−]
For those unaware, one of the best resources to learn Rocq:
https://softwarefoundations.cis.upenn.edu/