Terence Tao personal blog
Gamifying propositional logic: QED, an interactive textbook
About six years ago on this blog, I started thinking about trying to make a web-based game based around high-school algebra, and ended up using Scratch to write a short but playable puzzle game in …
- Points
- 186
- HN comments
- 21
- Submissions
- 1
- Cited by
- 0 commenters
Math & AlgorithmsScience & Space2018
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Jul 29, 2018 | Gamifying propositional logic: QED, an interactive textbook by robinhouston | 186 | 21 |
