2 ms·Learning to Prove Theorems via Interacting with Proof Assistants13 points by ColinWright 7y agodang 7y agohttps://news.ycombinator.com/item?id=20786982 https://news.ycombinator.com/item?id=20786982