TPTP 4.6.1 has been released!

The TPTP 4.6.1 release is now available. This release contains defect fixes not available in TPTP 4.6.0. Check out what's new and noteworthy, take a quick tour, and download it!