Wednesday, November 4 2015
14:00 - 15:00
Room 326
Interactive Theorem Proving: A Short Course
T. V. H. Prathamesh
Institute of Mathematical Sciences, Chennai
A short course in Isabelle theorem prover.
Download as iCalendar
Done