100 theorems in Lean #1 Post by ggzor » Fri, May 23, 2025, 6:08 PM UTC 100 theorems in Leanleanprover-community.github.io