PRocH: Proof Reconstruction for HOL Light.

Cezary Kaliszyk, Josef Urban

Browse the full CADE paper archive.