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

9 pointsposted 4 hours ago
by datascientist
(thedataexchange.media)

No comments yet