Using the computer as a tool for thinking in discrete mathematics (2017) | Hacker News Reader