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 1.5: Proof abundance for all (mistral.ai)
   374 points by programLyrique 29 days ago | 107 comments
2. Introduction to Formal Verification with Lean Part 1 (hashcloak.com)
   244 points by badcryptobitch 13 days ago | 52 comments
3. Are We Stuck with Lean? (mathoverflow.net)
   154 points by jjgreen 2 days ago | 66 comments
4. Self-Powered Trailers Promise Leaner Freight Runs (spectrum.ieee.org)
   68 points by rbanffy 22 days ago | 68 comments
5. Combinatorial Games in Lean (github.com)
   40 points by wertyk 21 days ago | 5 comments
6. Gap in Mochizuki's proof of ABC confirmed by Lean (twitter.com)
   35 points by ogogmad 14 days ago | 1 comments
7. LeanScreen: Lean Verification (www.millenniumresearch.ai)
   30 points by Hdjlaf 4 days ago | 3 comments
8. Lean Software Scaling Laws (gwern.net)
   28 points by gmays 27 days ago | discuss
9. Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projects (github.com)
   18 points by kbradero 4 days ago | 2 comments
10. AI-generated, Lean-verified proof of Collatz conjecture exploits Lean kernel bug (infosec.exchange)
    16 points by YeGoblynQueenne 2 days ago | 1 comments
11. AI "Proves" Collatz Conjecture with Lean 4 Bug (twitter.com)
    14 points by pfdietz 3 days ago | 5 comments
12. Leanstral 1.5: Proof Abundance for All (mistral.ai)
    10 points by meetpateltech 29 days ago | 1 comments
13. Mistralai/Leanstral-1.5-119B-A6B (huggingface.co)
    8 points by satvikpendem 29 days ago | 1 comments
14. Ask HN: Is HN crowd a left-leaning?
    7 points by eimrine 27 days ago | 19 comments
15. Why Lean is faster than Rust (kim-em.github.io)
    7 points by replatformradar 6 days ago | 3 comments
16. Why Rocq is better than Lean for program verification (joomy.korkutblech.com)
    7 points by joomy 4 days ago | 1 comments
17. Narcissism, Machiavellianism, and the people who lean hardest on AI (thenextweb.com)
    7 points by colinprince 9 days ago | 1 comments
18. Why Rocq is better than Lean for program verification (joomy.korkutblech.com)
    7 points by birdculture 3 days ago | discuss
19. Lean 4 Bug Found Incidentally by AI, "Proving" Collatz (twitter.com)
    4 points by jryan49 2 days ago | discuss
20. Amazon Is Investing in the Lean Focused Research Organization (www.amazon.science)
    4 points by gjmveloso 7 days ago | discuss
21. Codegraff: 40× leaner file tools for your coding agent (codegraff.com)
    4 points by doppp 17 days ago | discuss
22. Six Sigma vs. Lean Six Sigma: What's the Difference? (www.purdue.edu)
    3 points by Anon84 7 days ago | 1 comments
23. A 2024 Plea for Lean Software (with running code) (berthub.eu)
    3 points by tosh 4 days ago | discuss
24. Lean Programming Language (lean-lang.org)
    3 points by fagnerbrack 14 days ago | discuss
25. Tutorial: Introduction to Formal Verification with Lean (Part 1) (hashcloak.com)
    3 points by birdculture 14 days ago | discuss
26. Leantime: Project management, built with ADHD, Autism, and dyslexia in mind (github.com)
    3 points by nateb2022 19 days ago | discuss
27. Lean Software Production (mattwynne.net)
    2 points by mattwynne 21 days ago | 1 comments
28. CircuitProver: Agentic Lean 4 Theorem Proving for Hardware Verification (arxiv.org)
    2 points by Jimmc414 1 day ago | discuss
29. Show HN: Wiki-like edit for Lean 4 project Physlib (jstoobysmith.github.io)
    2 points by leanexplorer 3 days ago | discuss
30. A Plea for Lean Software (Niklaus Wirth) (liam-on-linux.dreamwidth.org)
    2 points by tosh 3 days ago | discuss