[–] schonfinkel 5mo ago ↗ For those unaware, one of the best resources to learn Rocq: https://softwarefoundations.cis.upenn.edu/
1 comment
[ 3.1 ms ] story [ 15.0 ms ] thread