N
Hacker Next
new
past
show
ask
show
jobs
submit
login
▲
AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura
(
thedataexchange.media
)
9 points by
datascientist
7 hours ago
|
0 comments
add comment
Rendered at 22:36:17 GMT+0000 (Coordinated Universal Time) with Vercel.