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