lean-xray
Lean is a program that checks mathematical proofs. lean-xray shows what those proofs rely on and flags unfinished steps.
Source not currently publicRecorded research exhibit
Follow a proof’s assumptions →Work
NS Check
NS Check independently reviewed OpenAI’s claim that smooth fluid flow can break down in finite time. Follow five recorded checks on the proof written in Lean.
Source not currently publicRecorded research exhibit
Understand the five checks →The Hall
Lean 4
A language and toolchain for writing code and checking mathematical proofs.
Visit source ↗