AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura

Posted 4 days ago by datascientist
215 points

https://thedataexchange.media/leo-de-moura-lean-aws/

17 comments

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..