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