Logic seminar: Manabu Hagiwara

When:
September 15, 2016 @ 1:30 pm – September 15, 2016 @ 2:30 pm
2016-09-15T13:30:00-10:00
2016-09-15T14:30:00-10:00
Where:
Keller 303

I will give a tutorial talk, how to use LEAN and Coq/MathCopm.SSReflect, which are famous proof assistant systems.

Keller 303