Conclusion
- Fulfilled the main aims and motivations
- Evaluated the relative abilities of current ATP systems
- Stimulated development of and interest in ATP systems
- Development efforts have received public recognition
- Provided exposure for system builders ...
both within and beyond the community
- Provided an overview of the implementation state of
running, fully automatic, first order ATP systems
- Trophies were presented at the banquet
- A year of great excitement!
- See all the details online at http://tptp.org/CASC/23
- Next year ...
- TNT competition division
- Another great T-shirt
- More entrants
- Prover9 (Bob Veroff, Bill McCune)
- Your Prover (You)