AIs-welcome Lean library downstream of Mathlibgithub.com2 points·MADEinPARIS··0 commentsOpen articleSaveView on HN