Contributing to the Lean Mathlib Library – Tanner Duve
By abaradwaj · 2026-08-12 · 1 points · 1 comments
https://www.youtube.com/watch?v=GqsBVW3d_vc
By abaradwaj · 1 points · 1 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews