Gamifying propositional logic: QED, an interactive textbookterrytao.wordpress.com4 pointsmatheist8 years ago