/tautologyChecker

a tautology checker as seen in ML for the working programmer by L.C. Paulson

Primary LanguageF#

No issues in this repository yet.