Back to article
lean-lang.org

Lean: Programming Language and Theorem Prover (opens in new tab)

Covered by 18 sources See all sources covering this story including Jane Street Tech Blog, bernat.techDiscussed on Hacker News and Hacker News

Covered in 20 articles

Jane Street Tech Blog·

Formal Methods and the Future of Programming

Discussed on Hacker News
Feeds
Jane Street Tech Blog·

Formal methods and the future of programming

Discussed on Hacker News, Hacker News, and Lobsters
Feeds
bernat.tech·

PyCon US 2026 Typing Summit Recap

Discussed on Hacker News and Lobsters
Feeds
Fortune
·

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

Feeds
lesswrong.com·

Logical Share Splitting for Intuitionists

Feeds
GitHub·

JacobAsmuth/qed: A formally-verified web frontend framework in Lean 4

Discussed on Hacker News
Feeds
oxide.computer·

Iddqd, or the hardest kind of unsafe Rust

Discussed on Hacker News, Lobsters, and r/rust
Feeds
theneurondaily.com·

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

Feeds
jameshaydon.github.io·

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

Feeds
constantinides.net·

Directionality in Low Precision

Discussed on Hacker News
Feeds

In other languages

note（ノート）·

査読は「ほぼ破綻」している――生成AI時代の研究成果公開を、もう一度設計し直す：JSAI2026 企画セッション「生成AI・プレプリント時代における研究成果公開の再設計」開催報告｜一般社団法人 情報科学技術協会（INFOSTA）

Feeds
GeekNews·

형식 기법과 프로그래밍의 미래

Feeds
GeekNews·

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

Feeds

Keyboard Shortcuts

Navigation

Next / previous post
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Discover
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help