Contents
Index
Folly-0.1.3.0: A first order logic library in Haskell
Safe Haskell
Safe-Inferred
Folly.Resolution
Documentation
isValid
::
Theorem
->
Bool