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. A Lean companion to Analysis I (terrytao.wordpress.com)
   156 points by jeremyscanvic about 7 hours ago | 11 comments
2. How to (actually) prove it – New Frontiers of Mathematics and Computing in Lean (kirancodes.me)
   81 points by gopiandcode 23 days ago | 17 comments
3. Trump Administration Leaned on African Countries to Get Business for Elon Musk (www.propublica.org)
   13 points by jaredwiener 16 days ago | discuss
4. 100 theorems in Lean (leanprover-community.github.io)
   9 points by ggzor 8 days ago | discuss
5. After the 2024 Windows fiasco, CrowdStrike has a plan – jobs cuts, leaning on AI (www.theregister.com)
   7 points by rntn 23 days ago | discuss
6. Terence Tao: Formalizing a proof in Lean using GitHub Copilot and canonical (www.youtube.com)
   6 points by admingirl 20 days ago | discuss
7. Formalizing a proof in Lean using Claude and o4 - Terence Tao [video] (www.youtube.com)
   5 points by nill0 14 days ago | discuss
8. Functional Programming and Theorem Proving in Lean 4 (web.stanford.edu)
   4 points by rck 3 days ago | discuss
9. Nonprofit news media leaders are struggling to stop leaning on foundations (theconversation.com)
   4 points by rntn 11 days ago | discuss
10. Formalizing a Proof in Lean Using GitHub Copilot Only [video] (www.youtube.com)
    4 points by dargscisyhp 14 days ago | discuss
11. What got lost in translation from Lean Manufacturing into Agile?
    3 points by solomonb 24 days ago | 4 comments
12. Google-DeepMind/formal-conjectures: collection of formalized conjectures in lean (github.com)
    3 points by diginova 3 days ago | discuss
13. Terence Tao: Formalizing a proof in Lean4 with Claude and o4 [video] (www.youtube.com)
    3 points by gsf_emergency 19 days ago | discuss
14. Bring­ing ISA se­man­tics to Lean and Lean-MLIR – Léo Stefanesco [video] (www.youtube.com)
    3 points by matt_d 30 days ago | discuss
15. Lean GTM: What Got Us 50 Demos/Month (iriscotax.substack.com)
    2 points by tuye0305 2 days ago | 1 comments
16. Terence Tao: Formalizing a proof in Lean using GitHub Copilot and canonical [video] (www.youtube.com)
    2 points by 5rest 18 days ago | 1 comments
17. Lean Founder ToolKit and Perks (iriscotax.substack.com)
    2 points by tuye0305 18 days ago | 1 comments
18. Show HN: Thirdpen.app – An AI Interactive Leaning Platform
    1 points by abdulmuminyqn 15 days ago | 1 comments
19. Lean Together 2025 (YouTube playlist) (www.youtube.com)
    1 points by jessealama 16 days ago | discuss
20. Tactics and Keyframes: Visualizing Lean 4 Proofs in Blender [video] (www.youtube.com)
    1 points by downboots 17 days ago | discuss
21. Formalizing a proof in Lean using GitHub Copilot and canonical [video] (www.youtube.com)
    1 points by Philpax 19 days ago | discuss
22. Terence Tao: Using modern tools to semi-automatically formalize a proof in Lean (mathstodon.xyz)
    1 points by ColinWright 21 days ago | discuss
23. Show HN: Hyprsqrl – open-source revolut you can self-host (live iban/sepa/ACH) (github.com)
    9 points by ben_talent 16 days ago | 3 comments
24. Show HN (YC S25): Well – MCP AI-Based Collection of Invoices
    8 points by maxchampoux 29 days ago | 6 comments
25. Ask HN: What book should my CS1 students read?
    5 points by gchallen 27 days ago | 5 comments
26. Ask HN: How do you like the Framework matte screen?
    5 points by christophilus 18 days ago | 2 comments
27. Show HN: Cutting the Fat from Stream Processing: Meet ZephFlow (Open Source) (github.com)
    5 points by pinkfluffymochi 23 days ago | 1 comments
28. Show HN: MCP-UI – SDK that embeds interactive UI snippets via MCP (github.com)
    5 points by adusal 9 days ago | discuss
29. Show HN: Family Folder – Help your family remember everything, organise anything (www.familyfolder.com)
    4 points by tonystaunton 17 days ago | 6 comments
30. Ask HN: I would like to help founders
    3 points by modelcroissant 7 days ago | 6 comments