LINKED LIST [txt mode] ▸ Formalizing a proof in Lean using Cla...

home explore | log in

Formalizing a proof in Lean using Claude Code

youtube.com · first added by @hnl · 2026-09-25 · 1 upvotes

log in to save, upvote or flag this.

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

* Issue #786 by @hnl [watching]

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

* Terence Tao: Formalizing a proof in Lean using Claude Code [video]

56 pts · 1 comment · node

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

* Pushing and Pulling: Three Reactivity Algorithms | Jonathan's Blog

3 upvotes · 2026-03-08

* FontCrafter: Create Your Handwriting Font for Free

4 upvotes · 2026-03-09

* Writing my own text editor, and daily-driving it

3 upvotes · 2026-03-11

* GitHub - carlini/printf-tac-toe: tic-tac-toe in a single call to printf

4 upvotes · 2026-03-12