atp-haskell-1.10: Translation from Ocaml to Haskell of John Harrison's ATP code
Data.Logic.ATP.ParserTests
t :: (Eq a, Pretty a) => String -> a -> a -> Test Source
parseFOL' :: String -> Either String Formula Source
testParser :: Test Source