This is an extension of LLAT (the Logic-Learning Assistance Tool) which aims to improve its pedagogical value and UI, rather than being a mere solution provider.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback