Gamifying propositional logic: QED, an interactive textbook


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