jukebox-0.5: A first-order reasoning toolbox

Safe HaskellNone
LanguageHaskell2010

Jukebox.TPTP.Parse

Documentation