aztek / tptp

Parser and pretty printer for the TPTP language

https://hackage.haskell.org/package/tptp

Geek Repo

Github PK Tool