Marshall AbramsNov 1, 2023
José A. Alonso
Lean for the Curious Mathematician 2023: The independence of the continuum hypothesis. ~ Floris van Dorn. https://youtu.be/mie6z_xLKRI #ITP #LeanProver #Math #LftCM2023
Lean for the Curious Mathematician 2023 Floris van Dorn, The Independence of the Continuum Hypoth

YouTube
Nov 1, 2023 at 5:45pmWeb
Show threadJosé A. AlonsoNov 1, 2023
Lean for the Curious Mathematician 2023: The independence of the continuum hypothesis (Slides). ~ Floris van Dorn.https://lftcm2023.github.io/slides/independenceCH.pdf #ITP #LeanProver #Math #LftCM2023