Gamifying propositional logic: QED, an interactive textbookhttps://news.ycombinator.com/item?id=17640566#hackernews #tech
CleverLibre Social is an inclusive social instance for open discussion, learning, and community. All cultures welcome. Hate speech and harassment strictly forbidden.