Skip to main content
Scour
Discover
Docs
Login
Sign Up
Discover
About
Docs
Changelog
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Back to article
vitalik.eth.limo
4w
4 weeks ago
A shallow dive into formal verification
(opens in new tab)
Covers
Lean: Programming Language and Theorem Prover
Covered by
4 sources
See all sources covering this story
including
coindesk.com
,
Decrypt
Discussed on
Hacker News
and
Hacker News
Love
Like
Not for me
Save
|
|
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Covers 1 related story
lean-lang.org
·
76w
76 weeks ago
Lean: Programming Language and Theorem Prover
Discussed on
Hacker News
and
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Lean: Programming Language and Theorem Prover
Covered in 5 articles
coindesk.com
·
4w
4 weeks ago
The Protocol: Ethereum Foundation's high-profile departures spark fresh debate
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for The Protocol: Ethereum Foundation's high-profile departures spark fresh debate
Decrypt
·
4w
4 weeks ago
Ethereum Founder Vitalik Buterin Says AI Verification Could Help Secure Crypto Networks
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Ethereum Founder Vitalik Buterin Says AI Verification Could Help Secure Crypto Networks
Ethereum Research
·
2w
2 weeks ago
Mechanized Proofs for Atomic Cross-Domain State Synchronization
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Mechanized Proofs for Atomic Cross-Domain State Synchronization
Ethereum Research
·
2w
2 weeks ago
Mechanized Proofs for Atomic Cross-Domain State Synchronization
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Mechanized Proofs for Atomic Cross-Domain State Synchronization
Metacurity
·
4w
4 weeks ago
Anthropic eases threat-sharing rules as Cloudflare details frontier AI cyber gains
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Anthropic eases threat-sharing rules as Cloudflare details frontier AI cyber gains
Keyboard Shortcuts
Navigation
Next / previous post
j
/
k
Open post
o
or
Enter
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
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Discover
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help
Like
Save
Not for me
Report