/Logic-Dojo

Some tools for running Logic Dojos

Primary LanguagePython

Logic Dojo Tool

Objective

  • To have a tool for helping to run activities similar to coding dojos for logic teaching.

Philosophy

  • The tool should not be too easy to use. The idea is not to replace the teacher, but to be used by teacher and students during classes.

Ideas

  • It could be a kind of online IDE for programs related to logic.

Authors