Event radar · Organisation
Lean
- 4 events in the last 90 days
Every event involving Lean, merged across sources — most recent first.
- I built the RealWorld app in Lean 4
Hacker News
- Anatomy of a Lean proof for software engineers
Hacker News
- Show HN: Spivak's Calculus formalized in Lean 4 – every theorem, every problem
Hacker News
- When you keep AI Lean, you keep AI correct
Stack Overflow Blog