This page shows all presentations of this author published in EasyChair Smart Slide.
Development Closed Critical Pairs: Towards a Formalized Proof
Christina Kohl and Aart Middeldorp
Composing Proof Terms
ProTeM: A Proof Term Manipulator