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.

1. Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
   775 points by Poudlardo 2 days ago | 188 comments
2. Lean 4: How the theorem prover works and why it's the new competitive edge in AI (venturebeat.com)
   145 points by tesserato 30 days ago | 64 comments
3. TorchLean: Formalizing Neural Networks in Lean (leandojo.org)
   104 points by matt_d 18 days ago | 20 comments
4. Terence Tao: Formalizing a proof in Lean using Claude Code [video] (www.youtube.com)
   55 points by helloplanets 10 days ago | 1 comments
5. Lf-lean: The frontier of verified software engineering (theorem.dev)
   47 points by alpaylan 7 days ago | 9 comments
6. Mistral.ai Leanstral: open-source model designed for engineering (docs.mistral.ai)
   5 points by james2doyle 2 days ago | 3 comments
7. Formalizing a proof in Lean using Claude Code [video] (www.youtube.com)
   5 points by ironyman 11 days ago | discuss
8. Verifying Move Borrow Checker in Lean:An Experiment in AI-Assisted PL Metatheory (proofsandintuitions.net)
   4 points by matt_d about 13 hours ago | 1 comments
9. CSLib: A Focused Effort on Formalizing Computer Science in Lean (www.cslib.io)
   4 points by md224 26 days ago | discuss
10. Can Opus 4.6 Do Category Theory in Lean? (www.stephendiehl.com)
    4 points by macleginn 29 days ago | discuss
11. Show HN: HAL – Harmful Action Limiter: Lean command guard for AI coding agents. (github.com)
    3 points by otherland26 6 days ago | 9 comments
12. CSLib: The Lean Computer Science Library (arxiv.org)
    3 points by PaulHoule 1 day ago | discuss
13. What the 2026 AI price hikes taught me about lean engineering
    3 points by davidvartanian 5 days ago | discuss
14. A Plea for Lean Software (1995) [pdf] (berthub.eu)
    3 points by tosh 12 days ago | discuss
15. Claude Code Skill to write better Lean4 proofs (spec.workers.io)
    2 points by chaitanyya 12 days ago | 1 comments
16. Multiple departures from Deno amid ‘lean focus’ shift, citing business realities
    2 points by coinfused about 18 hours ago | discuss
17. A 2024 Plea for Lean Software (with running code) (berthub.eu)
    2 points by tosh 13 days ago | discuss
18. Sam Altman's 'Human Verification' Startup Leans on Consumer Brands (www.wsj.com)
    2 points by petethomas 19 days ago | discuss
19. Lean-TUI for the lean proof assistant (codeberg.org)
    2 points by i_don_t_know 22 days ago | discuss
20. VeriSoftBench: Repository-Scale Formal Verification Benchmarks for Lean (utopia-group.github.io)
    2 points by matt_d 23 days ago | discuss
21. CSLib: The Lean Computer Science Library (arxiv.org)
    2 points by matt_d 24 days ago | discuss
22. Computer Science as Infrastructure: The Spine of the Lean CSLib (arxiv.org)
    2 points by matt_d 27 days ago | discuss
23. Warp-types: GPU shuffle UB becomes a compile error (Rust, Lean proof, zero cost) (github.com)
    1 points by modelmiser 3 days ago | 1 comments
24. Formal foundations of AlphaGeometry: A Lean 4 mechanization (zenodo.org)
    1 points by AnthonyBordg 6 days ago | 1 comments
25. We built a lean, high-perf dashboard for Yeahchain
    1 points by YeahchainTECH 7 days ago | 1 comments
26. Lean and AI caught a bug in my 2-year-old TLA+ spec (medium.com)
    1 points by polyglotfacto 17 days ago | 1 comments
27. Show HN: Lingua Universale – session types and Lean 4 proofs for AI agents (github.com)
    1 points by rafapra 21 days ago | 1 comments
28. Show HN: Lean-pq a typesafe PostgreSQL connector for lean (github.com)
    1 points by ngrislain 5 days ago | discuss
29. A lean data ingestion engine for Mindzo Investment Union
    1 points by MindzoFAQs 7 days ago | discuss
30. The Lean Code LLM Manifesto (github.com)
    1 points by socialawkward 15 days ago | discuss