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