Learning over Isabelle’s Dependency Graphs

17th May 2019

Date: 17th May 2019

Time: 14:00-15:30

Location: IF 3.02

Talks

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