Playing in the grey area of proofs.

Krystof Hoder, Laura Kovcs, Andrei Voronkov

Browse the full POPL paper archive.