YHacker Newsscreenshots

rkirov.github.io on Hacker News

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

Screenshot of rkirov.github.io: Learning Lean: Part 1

Learning Lean: Part 1 (rkirov.github.io)

117 points by vinhnx 8 months ago | 15 comments

Screenshot of rkirov.github.io: Why formalize mathematics – more than catching errors

Why formalize mathematics – more than catching errors (rkirov.github.io)

210 points by birdculture 1 year ago | 70 comments