Learning over Isabelle’s Dependency Graphs 17th May 2019 Jake Palmer Date: 17th May 2019Time: 00:00 - 00:00Location: IF 3.02TalksTitle: Learning over Isabelle’s Dependency Graphs Speaker: James Vaughn