Presenting Machine-Found Proofs.

Xiaorong Huang, Armin Fiedler

Browse the full CADE paper archive.