Wednesday, October 14 2015
14:00 - 15:00
Hall 123
Interactive Theorem Proving: A Short Course
T. V. H. Prathamesh
Institute of Mathematical Sciences
A short course in interactive theorem proving using Isabelle/HOL
Download as iCalendar
Done