HN Trends Tracker
backend ok
Repost history
Back to feedCanonical URL: https://lean-lang.org/
Current story
- #Lean Programming Language(lean-lang.org)HN #48,965,7542026-07-19 07:35 UTC
Prior reposts (4 of 6 total)
- #Lean: Programming Language and Theorem Prover(lean-lang.org)HN #42,591,6712025-01-04 02:12 UTC
- #Programming Language and Theorem Prover(lean-lang.org)HN #42,699,5252025-01-14 16:32 UTC
- #Lean is a theorem prover and programming language(lean-lang.org)HN #44,962,0032025-08-20 13:56 UTC
- #Get Started with Lean Proof Assistant(lean-lang.org)HN #48,266,5002026-05-25 13:19 UTC