3 ms·
Have you seen: https://leanprover-community.github.io/mathematics_in_lean/ https://leanprover-community.github.io/mathematics_in_lean/
by Tainnor 1y ago
Have you seen: https://leanprover-community.github.io/mathematics_in_lean/ https://leanprover-community.github.io/mathematics_in_lean/
- chongli 1y agoI hadn’t seen that. Thanks!