Hackernews posts about Lean4

1. 31
   

   newOpenAI’s Navier-Stokes release included a Lean 4 formal proofwww.johndcook.com

   ▲ 180ibobev24d💬 179savesaved
2. 32
   

   newShow HN: Spivak's Calculus formalized in Lean 4 – every theorem, every problemgithub.com

   ▲ 22jsLavaGoat8d💬 2savesaved
3. 33
   

   newOpenAI changed Navier-Stokes press release and Lean4 code on GH

   ▲ 9rawland23d💬 2savesaved
4. 34
   

   newLike Terraform, but in Lean 4ngrislain.github.io

   ▲ 7ngrislain27d💬 2savesaved
5. 35
   

   newNatural Number Game (Lean4 Tutorial)adam.math.hhu.de

   ▲ 3abetusk25d💬 1savesaved
6. 36
   

   newAsk HN: Can we translate normal Rust (axum) to Lean 4 without restrictions?

   ▲ 3syumei6ddiscusssavesaved
7. 37
   

   newPoincaré Conjecture Formalized in Lean4twitter.com

   ▲ 2korbonits6d💬 1savesaved
8. 38
   

   newCan a coding agent formally verify what real-world Rust code does, in Lean 4?i5h.dev

   ▲ 2syumei3ddiscusssavesaved
9. 39
   

   newLeanAPI: API Servers for web applications written in Lean 4github.com

   ▲ 2hargup9ddiscusssavesaved
10. 40
    

    newLeanHTTP: HTTP Client for Lean 4github.com

    ▲ 2hargup13ddiscusssavesaved
11. 41
    

    newA computer-assisted Lean 4 proof of the Berge–Fulkerson C(24) theoremgithub.com

    ▲ 2frjnn25ddiscusssavesaved
12. 42
    

    newI5h: Build a Rust Web App and Prove Its Behavior with Lean 4medium.com

    ▲ 1syumei5ddiscusssavesaved
13. 43
    

    newPrismriver: Formalization of Music Theory and Algorithmic Composition in Lean 4 [video]www.youtube.com

    ▲ 1surprisetalk5ddiscusssavesaved
14. 44
    

    newLean 4-Intrinsic Uniqueness and Reconstruction Across Mathematical Presentationsgithub.com

    ▲ 1alex_albert8ddiscusssavesaved
15. 45
    

    newBennett's Conjecture in Lean 4: Counter-Models of Spinoza's Propositionsarxiv.org

    ▲ 1wslh10ddiscusssavesaved
16. 46
    

    newLeanReact-v0.1: A Lean 4 framework to write web applicationsgithub.com

    ▲ 1hargup28ddiscusssavesaved
17. 47
    

    newLeanHTTP: HTTP Client for Lean 4github.com

    ▲ 1hargup29ddiscusssavesaved
18. 48
    

    newWhy Six Millennium Problems May Be Hard for the Same Reason

    ▲ 1darius8818d💬 1savesaved
19. 49
    

    newAnatomy of a Lean proof for software engineersagostbiro.net

    ▲ 128abiro3d💬 76savesaved
20. 50
    

    newDoes History Lean to the Leftcaffeineandlasers.com

    ▲ 8jyhrow20d💬 8savesaved
21. 51
    

    newApple's New CEO Moves to Overhaul Company to Run Faster and Leanerwww.bloomberg.com

    ▲ 6jbredeche5d💬 4savesaved
22. 52
    

    newGuardrail Your Agents with Leangithub.com

    ▲ 5barthelomew24ddiscusssavesaved
23. 53
    

    newLean Verified Transformerssrush.github.io

    ▲ 4matt_d13ddiscusssavesaved
24. 54
    

    newA kernel run on the Navier-Stokes blowup Lean projectgithub.com

    ▲ 4ravanova24ddiscusssavesaved
25. 55
    

    newLeanDB: A strongly typed SQL Front endtheoric.com

    ▲ 3matt_d20d💬 3savesaved
26. 56
    

    newI build an efficient and lean Poker bot with AIgithub.com

    ▲ 3aeneassoft10d💬 1savesaved
27. 57
    

    newRuby-lean: A Ruby semantics with a type soundness proofsamx.io

    ▲ 3samxif7ddiscusssavesaved
28. 58
    

    newLean Golf – Code golf but you're proving theorems in Leanlean.golf

    ▲ 3kurinikku9ddiscusssavesaved
29. 59
    

    newShow HN: Link proof assistant Lean to Claude, fix your code's hidden assumptionsgithub.com

    ▲ 3kurinikku10ddiscusssavesaved
30. 60
    

    newTesting AIs on 68 of the hardest open Erdos problems, verified in Leanarxiv.org

    ▲ 3tadamcz11ddiscusssavesaved

· edit