T terrytao.wordpress.com Gamifying propositional logic: QED, an interactive textbook 186 points robinhouston 8 years ago 21 comments
