Lean for the Curious Mathematician 2023: Algebraic geometry in Mathlib (Slides). ~ Damiano Testa. https://lftcm2023.github.io/slides/AG.pdf #ITP #LeanProver #Math #LftCM2023

Lean for the Curious Mathematician 2023: Building an algebraic hierarchy (Slides). ~ Marc Masdeu. https://lftcm2023.github.io/slides/SlidesBuildingAlgebraicHierarchy.pdf #ITP #LeanProver #Math #LftCM2023

Lean for the Curious Mathematician 2023: Structures and classes (Slides). ~ Eric Wieser. https://eric-wieser.github.io/lftcm-2023 #ITP #LeanProver #Math #LftCM2023

Lean for the Curious Mathematician 2023: Theorem proving via machine learning (Slides). ~ Kaiyu Yang. https://lftcm2023.github.io/slides/Kaiyu_Yang_TheoremProvingViaMachineLearning.pdf #ITP #LeanProver #MachineLearning #Math #LftCM2023

Lean for the Curious Mathematician 2023: On a formalization of Gromov's h-principle and Smale's sphere eversion theorem in Lean (Slides). ~ Oliver Nash. https://lftcm2023.github.io/slides/gromov.pdf #ITP #LeanProver #Math #LftCM2023

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