Don't have Telegram yet? Try it now!
https://ehsanmkermani.com/2017/06/30/from-machine-learning-to-type-theory/
From Machine Learning to Formal Math and Type Theory