LL Toy is an HTML-based interactive proof system. It is based on sequent calculi and supports several logics. It is mainly intended to be used for learning and educational purposes.
Currently, these logics are supported:
- Classical propositional logic
- Intuitionistic propositional logic
- Modal propositional logic (K, T, and S4)
- Linear Logic