Conclusion

Contributions

• New capability for ATP, without internal surgery
• Reproving with Metis adds verification
• Standards for Q&A in the TPTP world

Current work

• Disjunctive answers
• Understanding system properties wrt the ATP system

The End - Any Questions?