Hacker Neus
AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura
(thedataexchange.media)
11 points
by datascientist
21 hours ago |
0 comments
