An intelligent tutoring system for Linear Temporal Logic. This tutor is grounded in the findings of Little Tricky Logics: Misconceptions in the Understanding of LTL.
Try the tutor at ltl-tutor.xyz
You can host this tutor following steps in the wiki.
- Forge and Electrum Syntaxes need '(' ')'
- Better interface (it;s at the exercise gen level. You cannot just swap in and out)