Elogic develops a web-based application for teaching logic. The application aids in teaching the syntax and semantics of first-order logic, with multiple exercise environments including a symbolisation interface, a model evaluator, and a natural deduction environment for constructing proofs.
Org chart
This company has no org chart yet
Teams
This company has no teams yet
Offices
This company has no offices yet
