The TPTP Problem Library and Associated Infrastructure : The FOF and CNF Parts, v3.5.0
A Formally Verified Compiler Back-end