Learning over Isabelle’s Dependency Graphs

Date: 17th May 2019
Time: 00:00 - 00:00
Location: IF 3.02
Talks

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