YHacker Newsscreenshots

sdiehl.github.io on Hacker News

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

Screenshot of sdiehl.github.io: From Zero to QED: An informal introduction to formality with Lean 4

From Zero to QED: An informal introduction to formality with Lean 4 (sdiehl.github.io)

131 points by rwosync 10 months ago | 17 comments

Screenshot of sdiehl.github.io: Typechecker Zoo

Typechecker Zoo (sdiehl.github.io)

161 points by todsacerdoti 1 year ago | 24 comments