Room 326

Interactive Theorem Proving: A Short Course

T. V. H. Prathamesh

Institute of Mathematical Sciences, Chennai

A short course in Isabelle theorem prover.