8 projects
logicds8
LogicDS reasoning-based universal language teaching library
logicds7
LogicDS reasoning-based universal language teaching library
logicds6
LogicDS reasoning-based universal language teaching library
logicds5
LogicDS reasoning-based universal language teaching library
logic-ds3
LogicDS reasoning-based universal language teaching library
logic-ds2
Teaching library for the LogicDS project course
logic-ds-bm2
Teaching library for the LogicDS project course
logic-ds-bm
Teaching library for the LogicDS project course