• Skip to primary navigation
  • Skip to content
  • Skip to footer
Yves Jäckle
  • Posts
  • About
  • Teaching
  • Publications
  • Entertainment
    Yves Jäckle

    Yves Jäckle

    I studied math and mostly work on Lean.

    • GitHub

    BerLean : a Lean Workshop in Berlin

    I’m happy to announce that I’ll be collaborating with Michael Rothgang on a one day Workshop on formalising math in Lean. All infos can be found on Michael’s hompage (ADD LINK). Hope to see you there!

    Tags: BOOK, Lean

    Categories: blog

    Updated: January 27, 2024

    Previous Next
    • GitHub
    • Feed
    © 2025 Yves Jäckle. Powered by Jekyll & Minimal Mistakes.