The latest version of logic-TPTP is 0.5.1.0-0.
test:TestImportExportRandom
Dependencies
- QuickCheck lib:QuickCheck >=0
- ansi-wl-pprint lib:ansi-wl-pprint >=0
- base lib:base >=0
- logic-TPTP lib:logic-TPTP >=0
- pcre-light lib:pcre-light <0.4.1 && >=0
- semigroups lib:semigroups >=0
- transformers lib:transformers >=0
- transformers-compat lib:transformers-compat >=0.5
Reverse dependencies
None.