AIs-welcome Lean library downstream of Mathlib
By MADEinPARIS · 2026-07-25 · 1 points · 0 comments
https://github.com/TauCetiProject/TauCeti
By MADEinPARIS · 1 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews