AIs-welcome Lean library downstream of Mathlib

2 pointsposted 7 hours ago
by MADEinPARIS
(github.com)

No comments yet