TrendHeat
Tech and Gaming
Global
Heat
30
AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura
Timeline
29 Oct, 15:29 UTC
First appeared on Hacker News
Top sources
AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura
Hacker News
Open in TrendHeat