Hacker News
AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura(thedataexchange.media)
11 points by datascientist 14 hours ago | 0 comments
Aún no hay comentarios.
Hacker News