daviromero / logic4py

Logic4py is a library for teaching logic

Logic4py

Logic4py is a library for teaching logic

License

Logic4py is available by MIT License.

Requirements:

You must install:

• rply 0.7.8 package
• graphviz
• ipywidgets
• pandas
• ruamel.yaml

Install

To install Logic4py from Github, run the following command:

pip install git+https://github.com/daviromero/logic4py.git

To install Logic4py from PyPi repository, run the following command:

pip install logic4py