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

Comments

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

Comments

Popular posts from this blog