Hacker News
- Learning to prove theorems via interacting with proof assistants https://blog.acolyer.org/2019/08/23/learning-to-prove-theorems-via-interacting-with-proof-assistants/ 30 comments
- Learning to prove theorems via interacting with proof assistants https://blog.acolyer.org/2019/08/23/learning-to-prove-theorems-via-interacting-with-proof-assistants/ 23 comments math
Linked pages
Related searches:
Search whole site: site:blog.acolyer.org
Search title: Learning to prove theorems via interacting with proof assistants | the morning paper
See how to search.