leanprover.github.io on Hacker News

1 story on the front page, newest first. Scroll down to watch the site change over time.