AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura

2 points | by datascientist an hour ago

No comments yet