« Changelog History


tptp v0.1.0.0 Release Notes

Release Date: 2019-05-07 // almost 5 years ago

    • 🚀 First version. Released on an unsuspecting world.

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