Makarius Wenzel: Isabelle as System Platform for the Archive of Formal Proofs (AFP) External Video-URL https://www.youtube.com/watch?v=OANh8vl9pYE Preview-Image Search Engine Exclude no
