AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura (thedataexchange.media) 2 points by datascientist 13h ago ↗ HN
0 comments
[ 4.8 ms ] story [ 33.6 ms ] threadNo comments yet.