Learning over Isabelle’s Dependency Graphs

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

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