Gamifying propositional logic: QED, an interactive textbook

Gamifying propositional logic: QED, an interactive textbook

- July 30, 2018

Article URL: https://terrytao.wordpress.com/2018/07/28/gamifying-propositional-logic-qed-an-interactive-textbook/

Comments URL: https://news.ycombinator.com/item?id=17640566

Points: 95

# Comments: 5

from Hacker News: Front Page https://ift.tt/2LxGQlJ
via

Comments