New top story on Hacker News: Gamifying propositional logic: QED, an interactive textbook A+ A- Print Email Gamifying propositional logic: QED, an interactive textbook
Post a Comment Blogger Facebook