Theorem Proving using HOL	G. Sivakumar
Lab Session : Exposure to HOL and ML	Lakshmi Narasu, Shweta Gehlot
Basics of Theorem Proving	G. Sivakumar, S. Chakraborty