Folly-0.1.5.0: A first order logic library in Haskell
Folly.Resolution
isValid :: Theorem -> Bool Source