Changelog of @hackage/tptp 0.1.0.1

Revision history for tptp

0.1.0.0 -- 2019-05-07

  • First version. Released on an unsuspecting world.

  • Supported TPTP languages: CNF, FOF, TFF0, TFF1.