Monday, 30 July 2018

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

Gamifying propositional logic: QED, an interactive textbook
94 by robinhouston | 6 comments on Hacker News.


No comments:

Post a Comment