/cs208-logic

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

Primary LanguageOCaml

Stargazers