New top story on Hacker News: Learning How to Prove: From the Coq Proof Assistant to Textbook Style Posted By: Rushan Skywalker 9:18 PM Leave a Reply Learning How to Prove: From the Coq Proof Assistant to Textbook Style 8 by mindcrime | 0 comments on Hacker News. Tweet Share Share Share Share
0 comments: