New top story on Hacker News: Gamifying propositional logic: QED, an interactive textbook

Monday 30 July 2018

New top story on Hacker News: Gamifying propositional logic: QED, an interactive textbook

in published on July 30, 2018 leave a reply
Gamifying propositional logic: QED, an interactive textbook
95 by robinhouston | 6 comments on Hacker News.


Previous Post
Next Post
Unknown

post written by:

0 comments: