Announcement_1

I am teaching Automatic theorem proving using Lean (COL876/COL8271 – Special Topics in Formal Methods) this semester. More details here.