• Skip to primary navigation
  • Skip to content
  • Skip to footer
Markus Himmel
  • Posts
  • Tags
  • About
  • Now

    Freyd-Mitchell and Gabriel-Popescu

    June 21, 2025 less than 1 minute read

    Earlier this year, Jakob von Raumer, Paul Reichert and I finished a long project adding the Freyd-Mitchell and Gabriel-Popescu theorems to mathlib, Lean’s mathematical library. This week, a blog post about the project went live on the Lean community blog. Click here to read it!

    Direct Link

    Tags: Lean, mathlib

    Updated: June 21, 2025

    Previous Next
    • GitHub
    • Feed
    © 2025 Markus Himmel. Powered by Jekyll & Minimal Mistakes.