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