Reliable Reconstruction of Fine-grained Proofs in a Proof Assistant.

Hans-Jrg Schurr, Mathias Fleury, Martin Desharnais

Browse the full CADE paper archive.