B blog.acolyer.org Learning to prove theorems via interacting with proof assistants 126 points pgunt 7 years ago 30 comments
