Gamifying propositional logic: QED, an interactive textbook
95 by robinhouston | 6 comments on Hacker News.
Monday, July 30, 2018
New top story on Hacker News: Gamifying propositional logic: QED, an interactive textbook
Related Posts:
New top story on Hacker News: LPE and RCE in OpenBSD OpenSMTPD (CVE-2020-7247)- New top story on Hacker News: Meditation for Beginners
- New top story on Hacker News: Show HN: Thinc, a new deep learning library by the makers of spaCy and FastAPI
- New top story on Hacker News: Obesity Trends in the U.S.
- New top story on Hacker News: What Wolf Pups That Play Fetch Reveal About Your Dog
0 comments:
Post a Comment