The DPRM Theorem in Isabelle (Short Paper).

Jonas Bayer, Marco David, Abhik Pal, Benedikt Stock, Dierk Schleicher

Browse the full ITP paper archive.