Lean Explained with TypeScript
- TypeScript: 4 events in the last 90 days
- Previous: 4 days earlier · Show HN: Typebase – A single-folder back end you write in TypeScript
What happened
Lean is a programming language that lets you prove mathematical propositions. The Lean verifier automatically checks that these proofs are correct. This is the most formal and most bulletproof way to write proofs in mathematics. It's also incredibly tedious. Basic statements like a+b=b+a are not accepted without proof.
Summary assembled by rule from the sources below
Why it's spreading
Sources
Community
- Lean Explained with TypeScriptHacker News