Hackernews posts about 100

  1. 100 theorems in Lean (leanprover-community.github.io)