A Haskell function that determines whether a proposition is a tautology
Primary LanguageHaskell
This repository is not active