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

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=PLre5AT9JnKShFK9l9HYzkZugkJSsXioFs https://www.youtube.com/playlist?list=PLre5AT9JnKShFK9l9HYzk... https://softwarefoundations.cis.upenn.edu/ https://softwarefoundations.cis.upenn.edu/ A great resource for those looking to learn Rocq.