CASC-J4
The 4th IJCAR ATP System Competition
History
Aims and Motivations
Divisions
CASC-J4
Entrants
Results
Developer presentations
SInE 0.3 - Josef Urban (for Krystof Hoder)
iProver 0.5 - Konstantin Korovin
Vampire 10.0 - Andrei Voronkov
A Word from our Sponsor
Conclusion
Thanks
