This page shows all presentations of this author published in EasyChair Smart Slide.
Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle
Abhik Pal, Benedikt Stock, Marco David, Deepak Aryal, Jonas Bayer, Bogdan Ciurezu, Yiping Deng, Prabhat Devkota, Simon Dubischar, Malte Sophian Hassler, Yufei Liu and Maria Antonia Oprea