100 theorems in Lean

leanprover-community.github.io

8 points by ggzor 12 hours ago

- 12 hours ago
[deleted]