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

Video From 23w5124: Formalization of Cohomology Theories

Brendan Murphy, University of Utah

Tuesday, May 23, 2023 10:30 - 11:30

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

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

Download this video (46M)