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