Monday, July 30, 2018

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

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


No comments:

Post a Comment

A Functional Taxonomy of World Models by Fei-Fei Li

Article URL: https://twitter.com/drfeifei/status/2062247238143996275 Comments URL: https://news.ycombinator.com/item?id=48388684 Points: ...