Get the latest tech news

From Zero to QED: An informal introduction to formality with Lean 4


An informal introduction to formality in Lean 4

None

Get the Android app

Or read this on Hacker News

Read more on:

Photo of Zero

Zero

Photo of QED

QED

Photo of Lean 4

Lean 4

Related news:

News photo

Team claims to have Lean 4 proof that P≠NP

News photo

Forget data labeling: Tencent’s R-Zero shows how LLMs can train themselves

News photo

Opening up ‘Zero-Knowledge Proof’ technology