Book can be found at https://softwarefoundations.cis.upenn.edu/lf-current/index.html
lucasalavapena / logical-foundations Goto Github PK
View Code? Open in Web Editor NEWexercises from https://softwarefoundations.cis.upenn.edu/lf-current/index.html
License: MIT License