Back to article

Lean: Programming Language and Theorem Prover (opens in new tab) 15 articles covering this post

lean-lang.org··Hacker News, Hacker News·Open original

Covered in 15 articles

Formal methods and the future of programming

blog.janestreet.com··Lobsters

Exclusive: a top mathematician almost quit when AI got good at math. Now he's using it to rewrite economics

·

PyCon US 2026 Typing Summit Recap

bernat.tech··Lobsters, Hacker News

Logical Share Splitting for Intuitionists

lesswrong.com·

Iddqd, or the hardest kind of unsafe Rust

oxide.computer··Lobsters, Hacker News, r/rust

Directionality in Low Precision

constantinides.net··Hacker News

😺 🎙️ PODCAST: Can AI Solve Math's Biggest Mystery?

theneurondaily.com·

Using algebra and LLMs to verify a flight-plan bug fix in Lean

jameshaydon.github.io··Lobsters, Hacker News, r/programming

KnownBits in Lean

Quanta Books Releases The Proof in the Code

simonsfoundation.org·

2026-06-10, Wednesday

hakon.gylterud.net·

iddqd, or the hardest kind of unsafe Rust

sunshowers.io·

Programmable Phones

tailrecursion.com··Hacker News

A shallow dive into formal verification

vitalik.eth.limo··Hacker News, Hacker News

In other languages

iddqd, 또는 가장 어려운 종류의 unsafe Rust