GitHub repository: lukaszcz/tptp2coq
Primary language: Haskell
Created: 2019-11-08T11:44:59Z
Description: Conversion of the FOF TPTP format to Coq files