Alkemet News
AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura
(thedataexchange.media)
34
points
bydatascientist
2 days ago |
5
comments
Invalid date
Invalid date
Invalid date