A Beginner's Companion to Theorem Proving in Lean 4 (emallson.net) | HN Screenshots

YHacker Newsscreenshots

Screenshot of emallson.net: A Beginner's Companion to Theorem Proving in Lean 4

First screen, captured 2 years ago.

Looks similar

Screenshot of rishimehta.xyz: AlphaProof's Greatest Hits

AlphaProof's Greatest Hits (rishimehta.xyz)

238 points by rishicomplex 1 year ago | 123 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

Screenshot of timharek.no: Kaizen #4: Overhauled Homelab

Kaizen #4: Overhauled Homelab (timharek.no)

23 points by meysamazad 3 months ago | 3 comments

Screenshot of stevedylan.dev: Leaving Neovim for Zed

Leaving Neovim for Zed (stevedylan.dev)

289 points by mxstbr 2 years ago | 252 comments

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 henrikwarne.com: Programming with ChatGPT

Programming with ChatGPT (henrikwarne.com)

36 points by jandeboevrie 2 years ago | 31 comments