Gamifying propositional logic: QED, an interactive textbookterrytao.wordpress.com186 pointsrobinhouston8 years ago