GitHub repository: DanielSchuessler/logic-TPTP
Primary language: Haskell
Description: Import, export etc. for TPTP, a syntax for first-order logic