Back to peppe's feed
🦀Rustlean-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
Sign in to keep reading the full article.
Sign UpLog In

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
View all 20 ›

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