New top story on Hacker News: Learning How to Prove: From the Coq Proof Assistant to Textbook Style

Learning How to Prove: From the Coq Proof Assistant to Textbook Style
8 by mindcrime | 0 comments on Hacker News.