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.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
