[isabelle] An interview with John Harrison



Hi,
this might be of interest to Isabelle users:
https://podcasts.apple.com/se/podcast/337-provable-security-podcast-series-episode-2-automated/id1122785133?i=1000453779171&l=en

Among other things he talks about using machine learning to formalize proofs from published mathematical papers.
- Gergely
Az Android Outlook letöltése


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.