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/J12

• Next year ...
  • CADE-30 ... 30th CASC
  • Another great T-shirt
  • Your Prover (You)