Hackernews posts about Lean4
Related:
Terence Tao
- From Zero to QED: An informal introduction to formality with Lean 4 (sdiehl.github.io)
- My experience with Lean 4 for general programming (quamserena.com)
- Show HN: Collaborative Cloud-Based IDE for Lean 4 (prove.reaslab.io)
- Formal Axiomatization of Advaita Vedanta in Lean 4 (github.com)
- Some Junk Theorems in Lean (github.com)
- Lean theorem prover mathlib (github.com)
- What does a lean proof prove? (supaiku.com)
- Understanding Mathematics Through Lean (bytesauna.com)
- Lean: Open source algorithmic trading engine (github.com)
- Ask HN: Alternative to lean domain search without .blog (2worddomain.com)
- What does a lean proof prove? (supaiku.com)
- Greener – lean and mean test result explorer (github.com)
- Aristotle from HarmonicMath has solved Erdős Problem 124 in LEAN (xenaproject.wordpress.com)
- Show HN: The Epstein Library (epsteinlibrary.com)