Hackernews posts about Lean4

1. Functional Programming and Theorem Proving in Lean 4 (web.stanford.edu)
   6 points by rck 8 days ago | discuss
2. Terence Tao: Formalizing a proof in Lean4 with Claude and o4 [video] (www.youtube.com)
   3 points by gsf_emergency 24 days ago | discuss
3. Tactics and Keyframes: Visualizing Lean 4 Proofs in Blender [video] (www.youtube.com)
   1 points by downboots 22 days ago | discuss
4. A Lean companion to Analysis I (terrytao.wordpress.com)
   291 points by jeremyscanvic 5 days ago | 41 comments
5. How to (actually) prove it – New Frontiers of Mathematics and Computing in Lean (kirancodes.me)
   81 points by gopiandcode 28 days ago | 17 comments
6. Trump Administration Leaned on African Countries to Get Business for Elon Musk (www.propublica.org)
   13 points by jaredwiener 22 days ago | discuss
7. 100 theorems in Lean (leanprover-community.github.io)
   11 points by ggzor 13 days ago | discuss
8. After the 2024 Windows fiasco, CrowdStrike has a plan – jobs cuts, leaning on AI (www.theregister.com)
   7 points by rntn 29 days ago | discuss
9. Business Insider recommended nonexistent books to staff as it leans into AI (www.semafor.com)
   6 points by thm 4 days ago | 1 comments
10. Terence Tao: Formalizing a proof in Lean using GitHub Copilot and canonical (www.youtube.com)
    6 points by admingirl 25 days ago | discuss
11. Formalizing a proof in Lean using Claude and o4 - Terence Tao [video] (www.youtube.com)
    5 points by nill0 20 days ago | discuss
12. Rabbit starvation: Why you can die even with a stomach full of lean meat (theprepared.com)
    4 points by thunderbong 2 days ago | discuss
13. Google-DeepMind/formal-conjectures: collection of formalized conjectures in lean (github.com)
    4 points by diginova 8 days ago | discuss
14. Nonprofit news media leaders are struggling to stop leaning on foundations (theconversation.com)
    4 points by rntn 16 days ago | discuss
15. Formalizing a Proof in Lean Using GitHub Copilot Only [video] (www.youtube.com)
    4 points by dargscisyhp 19 days ago | discuss
16. What got lost in translation from Lean Manufacturing into Agile?
    3 points by solomonb 29 days ago | 4 comments
17. Lean GTM: What Got Us 50 Demos/Month (iriscotax.substack.com)
    2 points by tuye0305 7 days ago | 1 comments
18. Terence Tao: Formalizing a proof in Lean using GitHub Copilot and canonical [video] (www.youtube.com)
    2 points by 5rest 23 days ago | 1 comments
19. Lean Founder ToolKit and Perks (iriscotax.substack.com)
    2 points by tuye0305 23 days ago | 1 comments
20. Formalizing a proof in lean using GitHub Copilot and canonical (www.youtube.com)
    2 points by todsacerdoti 1 day ago | discuss
21. Show HN: Thirdpen.app – An AI Interactive Leaning Platform
    1 points by abdulmuminyqn 20 days ago | 1 comments
22. Leancode: Understanding Models Better for Code Simplification of Pre-Trained LLM (arxiv.org)
    1 points by PaulHoule 1 day ago | discuss
23. Lean AI Native Companies Leaderboard (leanaileaderboard.com)
    1 points by nreece 3 days ago | discuss
24. Lean Together 2025 (YouTube playlist) (www.youtube.com)
    1 points by jessealama 21 days ago | discuss
25. Formalizing a proof in Lean using GitHub Copilot and canonical [video] (www.youtube.com)
    1 points by Philpax 24 days ago | discuss
26. Terence Tao: Using modern tools to semi-automatically formalize a proof in Lean (mathstodon.xyz)
    1 points by ColinWright 26 days ago | discuss
27. Show HN: Hyprsqrl – open-source revolut you can self-host (live iban/sepa/ACH) (github.com)
    9 points by ben_talent 21 days ago | 3 comments
28. Ask HN: How do you like the Framework matte screen?
    5 points by christophilus 23 days ago | 2 comments
29. Show HN: Cutting the Fat from Stream Processing: Meet ZephFlow (Open Source) (github.com)
    5 points by pinkfluffymochi 28 days ago | 1 comments
30. Show HN: MCP-UI – SDK that embeds interactive UI snippets via MCP (github.com)
    5 points by adusal 14 days ago | discuss