RT @Robertljg: Honestly, a huge part of this is thanks to the incredible Lean community @leanprover ! Mathlib, proof tooling, and years of…
→ View original post on X — @animaanandkumar, 2026-03-02 00:12 UTC
Lean community contributions to proof tooling and Mathlib development
By
–