Some tools for running Logic Dojos
Python
Switch branches/tags
Nothing to show
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
experiments
.gitgnore
README.md

README.md

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