Conclusion

What is Done?

• TXF defined
• Useful for (at least) program analysis

What Needs to be Done?

• TPTP software support
• TPTP problems
• ATP system development
• Datatypes and co-datatypes

Who Needs to be Thanked?

• Friends in the TPTP World
• Wallenberg Academy Fellowship 2014
• Swedish VR grant D0497701