@hackage / tptp

Parser and pretty printer for the TPTP language

0.1.3.0

Dependents

@hackage / atp Interface to automated theorem provers
- Version: 0.1.0.0
- Last uploaded: 5 years ago
- License: GPL-3.0-only