Hackernews posts about Lean
Lean is a proof assistant software that helps mathematicians and computer scientists formalize and verify mathematical proofs using a rigorous and automated process.
Related:
Coq
- Project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover (imperialcollegelondon.github.io)
- Why Lean 4 replaced OCaml as my Primary Language (kirancodes.me)
- Apollo Client 4.0: A Leaner and Cleaner GraphQL Client with No Compromises (www.apollographql.com)
- Why Lean 4 replaced OCaml as my Primary Language (kirancodes.me)
- Wall Street Leaning Harder on Private Data After BLS Spat (www.bloomberg.com)
- Evidence for Energy Conservation Compared to Normal and Lean Adolescents (deepblue.lib.umich.edu)
- Why Lean 4 replaced OCaml as my primary language (kirancodes.me)
- Tic-tac-toe meets Lean 4 (ochagavia.nl)
- Tic-tac-toe meets Lean 4 (ochagavia.nl)
- Lean Claude Code for Production (nizar.se)
- Apollo Client 4.0: A Leaner and Cleaner GraphQL Client with No Compromises (www.apollographql.com)
- Beyond Booleans in Lean (overreacted.io)
- Maximizing Processor Efficiency with the Lean Metric (spectrum.ieee.org)
- Leaning Tower of Suurhusen (en.wikipedia.org)
- Running Lean at Scale (harmonic.fun)
- A Lean Formalisation of Fermat's Last Theorem (github.com)
- Lean marketing stack for B2B SaaS (www.customeracquisitionengine.com)
- Lean for JavaScript Developers (overreacted.io)
- How the Lean language brings math to coding and coding to math (2024) (www.amazon.science)
- Functorio: Build Factorio factories in the Lean 4 (github.com)
- Lean is a theorem prover and programming language (lean-lang.org)
- Show HN: Contradiction, Contraposition and Lean (ouss122.github.io)
- Lean Community (leanprover-community.github.io)
- Show HN: PageIndex – Vectorless RAG (github.com)
- Show HN: Human-like RAG — no vectors (github.com)