The TPTP Problem Library and Associated Infrastructure
A Formally Verified Compiler Back-end