YHacker Newsscreenshots

lakesare.brick.do on Hacker News

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

Screenshot of lakesare.brick.do: All Lean Books and Where to Find Them

All Lean Books and Where to Find Them (lakesare.brick.do)

21 points by atomicnature 5 months ago | 1 comments

Screenshot of lakesare.brick.do: Lean, Coq and other proof assistants: Visualising proofs as trees

Lean, Coq and other proof assistants: Visualising proofs as trees (lakesare.brick.do)

138 points by lakesare 3 years ago | 25 comments