Experiments in Lean - 20181010
Channel: Scott Morrison
Date: 2018-10-10

A talk in the logic seminar at ANU.

Unfortunately the screen capture part of the video didn't work, so it's hard to see what I'm doing...

Notes at https://tqft.net/web/notes/load.php?name=talks/20181010-experiments-in-Lean