Rocq 9.2.0 Released rocq-prover.org 2 points by baruchel 3 months ago · 1 comment Reader PiP Save schonfinkel 3 months ago For those unaware, one of the best resources to learn Rocq: https://softwarefoundations.cis.upenn.edu/