Teaching Automated Theorem Proving by Example: PyRes 1.2 - (System Description).

Stephan Schulz, Adam Pease

Browse the full CADE paper archive.