3 ms·Rocq 9.2.0 Released2 points by baruchel 6mo agoschonfinkel 6mo agoFor those unaware, one of the best resources to learn Rocq: https://softwarefoundations.cis.upenn.edu/ https://softwarefoundations.cis.upenn.edu/