idris-hackers / software-foundations

Software Foundations in Idris
https://idris-hackers.github.io/software-foundations
MIT License
452 stars 34 forks source link

Verify against the latest edition #37

Open clayrat opened 7 years ago

clayrat commented 7 years ago

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