AIs-welcome Lean library downstream of Mathlib #1 Post by MADEinPARIS » Sat, Jul 25, 2026, 12:32 PM UTC AIs-welcome Lean library downstream of Mathlibgithub.com