jukebox-0.2.17: A first-order reasoning toolbox

Safe HaskellNone
LanguageHaskell98

Jukebox.TPTP.Parse

Documentation