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

(thedataexchange.media)

2 points | by datascientist 2 hours ago ago

No comments yet.