search

codereport / LearningList

3 stars 0 forks source link

Software Foundations [in Coq] #43

Open codereport opened 4 years ago

codereport commented 4 years ago

https://www.youtube.com/playlist?list=PLGCr8P_YncjUT7gXUVJWSoefQ40gTOz89

https://softwarefoundations.cis.upenn.edu/