Lean
3 mentions across 3 people
Visit ↗All mentions
“So Lean is this programming language where instead of expressing your math proof on pen and paper, you express it in this programming language Lean. And then at the end, if you do that that way, it is a verifiable language so that you can click "verify" and Lean will tell you whether the conclusions of your proof actually follow perfectly from your assumptions of your proof.”
Evolutionary Role of Loss Functions and Omnidirectional Inference in Biological ↗
“in a machine checkable format like, coaul or or or or lean or some uh uh formal verification language like that”
Quantum Computing's Real Capabilities and Limits: Separating BQP from the Hype ↗Google DeepMind
Recommendedyoutube · 2024-11-14
“learn lean as early as you can”
AlphaProof: DeepMind's Breakthrough in Formal Mathematics ↗