Lean Programming Language
No Image Available
🛒 Purchase Options
Buy on Amazon Direct Link Links on this page are affiliate links. If you use them to buy something, Podcurated
may earn a commission. Thanks for supporting Podcurated!
📝 Description
A functional programming language and theorem prover designed for formalizing mathematics and verifying software.
💬 Quote Context
"
I can translate everything I've done into this programming language called lean so that when somebody says Eric you have no equations
"🎬 UFO Cover-Up Analyst: The Secret Alien Programs Nobody Is Talking About! | Eric Weinstein
🏷️ Categories & Tags
Categories:
Keywords:
Lean
theorem prover
formal verification
mathematics
🤖 Why This Product Was Mentioned
"The speaker mentions translating his work into the 'programming language called lean' to verify his mathematical findings."
