5 ms·
Software Foundations book [1] covers many case studies. One of the authors has a lecture course based around the book as well. [1] softwarefoundations.cis.upen
by TezlaOil 9y ago
Software Foundations book [1] covers many case studies. One of the authors has a lecture course based around the book as well.
[1] softwarefoundations.cis.upenn.edu/current/index.html
- noch 9y agoIndeed: Benjamin Pierce's lectures on "Software Foundations in Coq" https://www.youtube.com/playlist?list=PLGCr8P_YncjUT7gXUVJWSoefQ40gTOz89 https://www.youtube.com/playlist?list=PLGCr8P_YncjUT7gXUVJWS...
- porges 9y agoI can recommend SF, I just started it a week ago without prior Coq experience. I'm using the VSCode integration which helps, CoqIDE is a bit clunky.