Externalize
Live learning experiment
A symbolic-logic tutor that makes the steps visible. The current build teaches propositional logic with short lessons, graded practice, spaced review, and progress derived from actual work rather than points.
The question now is not how to make it more addictive. It is how to make returning feel good without making the learner better at the interface than at logic.
Try the live build ↗ Public source ↗