A Haskell function that determines whether a proposition is a tautology
Primary LanguageHaskell
No issues in this repository yet.