NHacker Next
  • new
  • past
  • show
  • ask
  • show
  • jobs
  • submit
▲AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura (thedataexchange.media)
14 points by datascientist 1 days ago | 0 comments
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
Rendered at 18:42:04 GMT+0000 (Coordinated Universal Time) with Cloudflare Workers.