EasyChair Smart Slide
Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle
Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle