CASC-J7
The 7th IJCAR ATP System Competition
CASC-J7
Things Keep Getting Better!
- TFA is ramping up - proofs expected next year
- Beagle wins the "Outstanding Achievement" award
- Andrei did not enter - is a scary new Vampire coming?
- Will Waldmeister ever be beaten - by an Argentinian system?
To Conclude ...