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