/ValidationMethods

🧮 validation methods of propositional logic

Primary LanguageHaskell

Stargazers