V venturebeat.com Lean 4: How the theorem prover works and why it's the new competitive edge in AI 145 points tesserato 8 months ago 64 comments
