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