Lawrence Paulson: Formalising Advanced Mathematics in Isabelle/HOL External Video-URL https://www.youtube.com/watch?v=Pr0TSi8Tsik Preview-Image Search Engine Exclude no
