5 ms·
For those unaware, one of the best resources to learn Rocq: https://softwarefoundations.cis.upenn.edu/ https://softwarefoundations.cis.upenn.edu/
by schonfinkel 5mo ago
For those unaware, one of the best resources to learn Rocq: https://softwarefoundations.cis.upenn.edu/ https://softwarefoundations.cis.upenn.edu/