Hackernews posts about Lean

1. 991
   

   newClassification of Finite Simple Groups Formalized in Leancfsg.axiommath.ai

   ▲ 243pfdietz4d💬 78savesaved
2. 992
   

   newWhat mathematicians should know about the Lean Theorem Prover: reliability & AIterrytao.wordpress.com

   ▲ 210matt_d22d💬 58savesaved
3. 993
   

   newLean now ships with verified kernelsleodemoura.github.io

   ▲ 204matt_d16d💬 81savesaved
4. 994
   

   newAI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Mourathedataexchange.media

   ▲ 203datascientist2d💬 49savesaved
5. 995
   

   newI built the RealWorld app in Lean 4leangineer.com

   ▲ 99saviorand17d💬 19savesaved
6. 996
   

   newShow HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edgegithub.com

   ▲ 38lastmjs2d💬 22savesaved
7. 997
   

   newA Critical Look at Lean4www.lesswrong.com

   ▲ 18amanverasia20d💬 1savesaved
8. 998
   

   newI Tried to Verify Rust OSS with Lean 4 and Found Many Bugsmedium.com

   ▲ 10syumei12d💬 2savesaved
9. 999
   

   newKroger to lay off 3k corporate employees over 3 years as it leans into AIapnews.com

   ▲ 10vrganj18d💬 1savesaved
10. 1000
    

    newKroger to lay off 3K corporate employees over 3 years as it leans into AIabcnews.com

    ▲ 6theanonymousone18d💬 1savesaved
11. 1001
    

    newI don't trust Lean code from AIkaragila.org

    ▲ 6pieterk21d💬 1savesaved
12. 1002
    

    newComparison of Isabelle/HOL, Lean, HOL4, and Agda: A Tale of Four Theorem Proversblueberrywren.dev

    ▲ 5birdculture20ddiscusssavesaved
13. 1003
    

    newLean Game Server: A repo of learning games for Leanadam.math.hhu.de

    ▲ 4crescit_eundo29d💬 2savesaved
14. 1004
    

    newTorchLean is a Lean 4 framework for neural-networksgithub.com

    ▲ 4porridgeraisin3ddiscusssavesaved
15. 1005
    

    newFormalizing Julia in Lean (and finding 400 bugs in Base)discourse.julialang.org

    ▲ 4yurivish5ddiscusssavesaved
16. 1006
    

    newWriting Tensor Programs in Lean · TorchLean Verified Examplesrobertboy18.github.io

    ▲ 4matt_d16ddiscusssavesaved
17. 1007
    

    newLearn LEAN 4 Theorem Proving in an easy gameadam.math.hhu.de

    ▲ 4samagra1419ddiscusssavesaved
18. 1008
    

    newUsing OpenAI Dots as an agent swarm to prove new math, for free (Lean verified)unexcitedneurons.substack.com

    ▲ 3jychang26d💬 1savesaved
19. 1009
    

    newLean-sudo: drop-in replacement with formally verified policy, env, and authgithub.com

    ▲ 3gbacon2ddiscusssavesaved
20. 1010
    

    newTraining Natural Language Verifiers with Leanhuggingface.co

    ▲ 3andes31415ddiscusssavesaved
21. 1011
    

    newEggshell is an open-source token-saving tool built in Lean4github.com

    ▲ 3o8vm20ddiscusssavesaved
22. 1012
    

    newThe U.S. Nuclear Plant Fleet Is Leaning into AIspectrum.ieee.org

    ▲ 3geox22ddiscusssavesaved
23. 1013
    

    newA Critical Look at Lean4www.lesswrong.com

    ▲ 3mathgenius22ddiscusssavesaved
24. 1014
    

    newCogLean: A library of cognitive theory in Leangithub.com

    ▲ 2abrax314112d💬 2savesaved
25. 1015
    

    newProving 1 plus 1 = 2 in 616,873 lines of Leangithub.com

    ▲ 2pragyaangaur44h💬 1savesaved
26. 1016
    

    newIndependent Hilbert-Smith proof with Lean4 verificationgithub.com

    ▲ 2aldabrow23d💬 1savesaved
27. 1017
    

    newLean Weekly Newsleanweekly.news

    ▲ 2bananaflag2ddiscusssavesaved
28. 1018
    

    newmini-Lean-Agent: A Coding-Agent Baseline for Leanarxiv.org

    ▲ 2matt_d11ddiscusssavesaved
29. 1019
    

    newThe Vermilion Experiment: Implementing a Lean Back End for Verusproofsandintuitions.net

    ▲ 2matt_d13ddiscusssavesaved
30. 1020
    

    newLean 4.35.0 (2026-10-12)lean-lang.org

    ▲ 2ngrislain18ddiscusssavesaved

· edit