New top story on Hacker News: Gamifying propositional logic: QED, an interactive textbook

Gamifying propositional logic: QED, an interactive textbook
6 by robinhouston | 0 comments on Hacker News.