Learning over Isabelle’s Dependency Graphs

Date: 17th May 2019

Time: 14:00-15:30

Location: IF 3.02

Talks

Title: Learning over Isabelle’s Dependency Graphs
Speaker: James Vaughn