igorfonck / logicits Goto Github PK
View Code? Open in Web Editor NEWAn Intelligent Tutoring System aimed to support the learning procces of Natural Deduction in the context of Propositional and First Order Logics.
License: GNU General Public License v3.0