msp-strath / cs208-logic

Code and Materials for an interactive online course on Logic (part of Strathclyde's CS208 Logic and Algorithms module)

https://personal.cis.strath.ac.uk/robert.atkey/cs208/contents.html

Geek Repo

Github PK Tool