Conclusion

• Fulfilled the main aims and motivations
  • Evaluated the relative abilities of ATP systems
  • Stimulated development and use of ATP systems

• See all the details online at http://tptp.org/CASC/J9

• Next year ...
  • Another great T-shirt (special offer ...)
  • Your Prover (You)