Live data from Hacker News

Rocq 9.2.0 Released

rocq-prover.org

Post reply on HN

Print view View original

1–2 of 2 posts

Rocq 9.2.0 Released

#1

Post by baruchel » Tue, Apr 07, 2026, 11:41 AM UTC

Rocq 9.2.0 Released
rocq-prover.org

Re: Rocq 9.2.0 Released

#2

Post by schonfinkel » Tue, Apr 07, 2026, 1:14 PM UTC

For those unaware, one of the best resources to learn Rocq: https://softwarefoundations.cis.upenn.edu/

Post reply on HN