AIs-welcome Lean library downstream of Mathlib

(github.com) by MADEinPARIS | Jul 25, 2026 | 0 comments on HN