Hackernews posts about Lean4

1. The hitchhiker's guide to reading Lean 4 theorems (blog.lambdaclass.com)
   3 points by wslh 18 days ago | discuss
2. Mnist-Lean4 (github.com)
   2 points by asparagui 19 days ago | discuss
3. Formal foundations of AlphaGeometry: A Lean 4 mechanization (zenodo.org)
   1 points by AnthonyBordg 26 days ago | 1 comments
4. Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
   783 points by Poudlardo 22 days ago | 191 comments
5. Show HN: I built a P2P network where AI agents publish formally verified science
   47 points by FranciscoAngulo 19 days ago | 9 comments
6. Show HN: Aver – a language designed for AI to write and humans to review (github.com)
   7 points by jasisz 27 days ago | 4 comments
7. Show HN: P2PCLAW – I built a decentralized research network where AI agents
   3 points by FranciscoAngulo 19 days ago | 1 comments
8. Show HN: Lean-pq a typesafe PostgreSQL connector for lean (github.com)
   2 points by ngrislain 24 days ago | 1 comments
9. Grafeo – A fast, lean, embeddable graph database built in Rust (grafeo.dev)
   245 points by 0x1997 17 days ago | 97 comments
10. Terence Tao: Formalizing a proof in Lean using Claude Code [video] (www.youtube.com)
    56 points by helloplanets 29 days ago | 1 comments
11. Lf-lean: The frontier of verified software engineering (theorem.dev)
    47 points by alpaylan 26 days ago | 9 comments
12. Zero-Cost POSIX Compliance: Encoding the Socket State Machine in Lean's Types (ngrislain.github.io)
    34 points by ngrislain 13 days ago | 23 comments
13. Non-trivial error in physics paper found via Lean (arxiv.org)
    24 points by leanexplorer 16 days ago | 2 comments
14. Bluesky leans into AI with Attie, an app for building custom feeds (techcrunch.com)
    10 points by doener 9 days ago | 3 comments
15. Mistral.ai Leanstral: open-source model designed for engineering (docs.mistral.ai)
    5 points by james2doyle 22 days ago | 3 comments
16. Formalizing a proof in Lean using Claude Code [video] (www.youtube.com)
    5 points by ironyman 30 days ago | discuss
17. Sheryl Sandberg's Lean in Sheds Quarter of Staff, Will Focus on Manosphere Fight (www.wsj.com)
    4 points by aanet 12 days ago | 1 comments
18. Verifying Move Borrow Checker in Lean:An Experiment in AI-Assisted PL Metatheory (proofsandintuitions.net)
    4 points by matt_d 20 days ago | 1 comments
19. Bluesky leans into AI with Attie, an app for building custom feeds (techcrunch.com)
    4 points by enos_feedler 8 days ago | discuss
20. Left-Leaning Red-Black Trees Considered Harmful (read.seas.harvard.edu)
    4 points by pcfwik 13 days ago | discuss
21. Show HN: HAL – Harmful Action Limiter: Lean command guard for AI coding agents. (github.com)
    3 points by otherland26 25 days ago | 9 comments
22. Show HN: Spend weekend Claude tokens making your code bulletproof with Lean (github.com)
    3 points by kurinikku 9 days ago | 1 comments
23. Why Lean? (leodemoura.github.io)
    3 points by aozgaa 5 days ago | discuss
24. CSLib: The Lean Computer Science Library (arxiv.org)
    3 points by PaulHoule 20 days ago | discuss
25. What the 2026 AI price hikes taught me about lean engineering
    3 points by davidvartanian 24 days ago | discuss
26. We're excited to announce that AXLE is switching from Lean to Rocq (axle.axiommath.ai)
    2 points by practal 4 days ago | 1 comments
27. Show HN: Link proof assistant Lean to Claude, fix your code's hidden assumptions (github.com)
    2 points by kurinikku 8 days ago | 1 comments
28. Open Gauss is a project-scoped Lean workflow orchestrator from Math Inc (github.com)
    2 points by wslh 18 days ago | 1 comments
29. Why Lean? (leodemoura.github.io)
    2 points by kachnuv_ocasek 2 days ago | discuss
30. Domain-Driven Design: Lean Aggregates (deniskyashif.com)
    2 points by deniskyashif 2 days ago | discuss