lukaszcz / tptp2coq

Conversion of the FOF TPTP format to Coq files

To compile tptp2coq you will need the Haskell ghc compiler and cabal.

sudo apt-get install ghc cabal
cabal build