Learning How to Prove: From the Coq Proof Assistant to Textbook Style

Article URL: https://arxiv.org/abs/1803.01466

Comments URL: https://news.ycombinator.com/item?id=21185624

Points: 8

# Comments: 0

from Hacker News: Front Page https://ift.tt/2oULJam
via