LINKED LIST [txt mode] ▸ Learning Lean: Part 1

home explore | log in

Learning Lean: Part 1

rkirov.github.io · first added by @hnl · 2026-02-27 · 1 upvotes

log in to save, upvote or flag this.

─── In 1 list ──────────────────────────────────────────

* Issue #783 by @hnl [learn]

─── Discussions ────────────────────────────────────────

* Learning Lean: Part 1

131 pts · 16 comments · node

─── From the discussion ────────────────────────────────

fstar-lang.org · node

* Concrete Semantics

concrete-semantics.org · node

* Getting Started with Dafny: A Guide

dafny.org · node

* GitHub - lean-forward/logical_verification_2025: The Hitchhiker's Guide to Logical Verification (2025 edition) and associated materials

github.com · node

* Definitional Proof Irrelevance Without K

jesper.sikanda.be · node

─── Also saved alongside this ──────────────────────────

* AI makes you boring

6 upvotes · 2026-02-23

* ooh.directory: a place to find good blogs that interest you

7 upvotes · 2026-01-31

* micasa — your house, in a terminal

4 upvotes · 2026-02-19

* GitHub - fjrevoredo/mini-diarium: A local-first journal with serious encryption. Free, open source, and never touches the internet.

4 upvotes · 2026-02-27