Proof Automation - Automation in Isabelle's Analysis
RSS
Hölzl, J
Monday 3rd July 2017 - 15:30 to 16:30
Proof Automation - Automation in Isabelle's Analysis
RSS
Hölzl, J
Monday 3rd July 2017 - 15:30 to 16:30
Back to podcast list
00:00 / 00:00
