idris-hackers/software-foundations

Readme
Issues
Stargazers
Watchers

Verify against the latest edition

clayrat opened this issue 7 years ago · 0 comments

clayrat commented 7 years ago

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

Topics

idris theorem-proving book computer-science

Share to

Contact site admin: Geeks.