leanprover.github.io: 3 stories from 3 submitters

  1. 15
  2. 14
  3. 19