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