Super HN

   Lean 4: How the theorem prover works and why it's the new competitive edge in AI (venturebeat.com) 3 points by tesserato 3 days ago