Hacker News new | ask | show | jobs
by mmmmpancakes 1161 days ago
fancy name for what seems like a fairly standard "intro to proofs" textbook, at least based on the ToC.