#24 The History of Isabelle - Lawrence Paulson | Type Theory Forall | Podwise