Brendan Murphy, Video: Formalizing the Brouwer Fixed Point Theorem in Lean

Brendan Murphy, Video: Formalizing the Brouwer Fixed Point Theorem in Lean

Brendan Murphy, Formalizing the Brouwer Fixed Point Theorem in Lean, Formalization of Cohomology Theories, BIRS, BIRS talk, 23w5124, math, mathematics, video

Banff International Research Station

Banff International Research Station

presentation

mpeg4

46M

http://www.birs.ca/events/2023/5-day-workshops/23w5124/videos

http://www.birs.ca/events/2023/5-day-workshops/23w5124/videos/watch/202305231030-Murphy.html