vitalik.eth.limo

A shallow dive into formal verification (opens in new tab)

Covers Lean: Programming Language and Theorem ProverCovered by 4 sources See all sources covering this story including coindesk.com, DecryptDiscussed on Hacker News and Hacker News

Dark Mode Toggle

Read the original article
Sign in to keep reading the full article.
Sign UpLog In

Covered in 5 articles

coindesk.com·

The Protocol: Ethereum Foundation's high-profile departures spark fresh debate

Feeds
Decrypt·

Ethereum Founder Vitalik Buterin Says AI Verification Could Help Secure Crypto Networks

Feeds
Ethereum Research·

Mechanized Proofs for Atomic Cross-Domain State Synchronization

Feeds
View all 5 ›

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