Automatically Generalizing Proofs and Statements.

Anshula Gandhi, Anand Rao Tadipatri, Timothy Gowers

Browse the full ITP paper archive.