The latest version of logic-TPTP is 0.6.0.0-0.
exe:TestImportExportImportFile
Dependencies
- ansi-wl-pprint lib:ansi-wl-pprint >=0
- base lib:base >=0
- logic-TPTP lib:logic-TPTP >=0
- optparse-applicative lib:optparse-applicative >=0.11 && <0.16
- pcre-light lib:pcre-light <0.4.1 && >=0
- semigroups lib:semigroups >=0
Reverse dependencies
None.