/practical-logic

Code resources from John Harrison's "Handbook of Practical Logic and Automated Reasoning"

Primary LanguageOCamlOtherNOASSERTION

No issues in this repository yet.