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

YHacker Newsscreenshots

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

First screen, captured 10 months ago.

Looks similar

Screenshot of learnix-os.com: LearnixOS

LearnixOS (learnix-os.com)

247 points by gtirloni 10 months ago | 98 comments

Screenshot of jj-for-everyone.github.io: Jujutsu for everyone

Jujutsu for everyone (jj-for-everyone.github.io)

403 points by Bogdanp 1 year ago | 342 comments

A beginner-oriented tutorial for the Jujutsu (jj) version control system that assumes no prior experience with Git or other version control.

jujutsu version-control git tutorial

Screenshot of anil.recoil.org: My fast zero-allocation webserver using OxCaml

My fast zero-allocation webserver using OxCaml (anil.recoil.org)

133 points by noelwelsh 8 months ago | 45 comments

Screenshot of steveklabnik.github.io: Steve's Jujutsu Tutorial

Steve's Jujutsu Tutorial (steveklabnik.github.io)

86 points by drudru 2 years ago | 67 comments

Screenshot of werwolv.net: How to bring up the Linux Kernel on a new platform

How to bring up the Linux Kernel on a new platform (werwolv.net)

67 points by WerWolv 1 month ago | 5 comments

Screenshot of opendylan.org: Open Dylan

Open Dylan (opendylan.org)

35 points by ofrzeta 1 year ago | 9 comments