Theorem Proving and Algebra book (2006) [pdf]arxiv.org3 points·haskellandchill··0 commentsOpen articleSaveView on HN