[schonfinkel]

Highly recommend this as well. Michael Ryan also has a playlist where he goes over the first book of the "Software Foundations" series:

https://www.youtube.com/playlist?list=PLre5AT9JnKShFK9l9HYzk... https://softwarefoundations.cis.upenn.edu/

A great resource for those looking to learn Rocq.

[__rito__]

Wow, thanks for sharing. Now I will finally scratch my software proofs itch.

___

Typo in GP: "fun" instead of "fund"