Monday 30 July 2018

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


No comments:

Post a Comment