Hacker News new | ask | show | jobs
by Tainnor 340 days ago
Have you seen: https://leanprover-community.github.io/mathematics_in_lean/
1 comments
chongli 340 days ago
I hadn’t seen that. Thanks!
link