/tptp2coq

Conversion of the FOF TPTP format to Coq files

Primary LanguageHaskell

To compile tptp2coq you will need the Haskell ghc compiler, the program alex and the cabal package tptp.

sudo apt-get install alex ghc happy cabal-install cabal install tptp make