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