Learning from Multiple Proofs: First Experiments.

Daniel Khlwein, Josef Urban

Browse the full CADE paper archive.