Date: 17th May 2019Time: 14:00 - 16:00Location: IF 3.02TalksTitle: Learning over Isabelle’s Dependency Graphs Speaker: James Vaughn previousFormalising the correct convergence of Meek’s method of STV in Isabelle/HOLnextNonstandard Analysis for Euler’s Proof of the Basel Problem