100 theorems in Lean

https://leanprover-community.github.io/100.html

#HackerNews #100theorems #Lean #TheoremProver #Mathematics #Proofs