Vol-2633⫷ Vol-2634 ⫸Vol-2635
urn:nbn:de:0074-2634-0


Vol-2634/LML-preface⫷Vol-2634/LML1⫸Vol-2634/LML2
Markus Wenzel 0001

Isabelle technology for the Archive of Formal Proofs with application to MMT