AIs-welcome Lean library downstream of Mathlib

2 points | by MADEinPARIS 7 hours ago