Declarative Proof Translation (Short Paper).

Cezary Kaliszyk, Karol Pak

Browse the full ITP paper archive.