Vol-2907⫷ Vol-2908 ⫸Vol-2909
urn:nbn:de:0074-2908-0


Vol-2908/paper7⫷Vol-2908/abstract1⫸Vol-2908/abstract2
Hans-Jörg SchurrMathias FleuryMartin Desharnais

Abstract: Reliable Reconstruction of Fine-Grained Proofs in a Proof Assistant