Hacker News new | ask | show | jobs
AIs-welcome Lean library downstream of Mathlib (github.com)
2 points by MADEinPARIS 6 days ago