GitHub - apri-me/sequent

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
__pycache__		__pycache__
SequentTree.xlsx		SequentTree.xlsx
main.py		main.py
readme.txt		readme.txt
sequent.py		sequent.py
tape.py		tape.py

Repository files navigation

In this project library openpyxl has been used and this library is not included in python standard library.
Try to install it via:

> pip install openpyxl

Example of a right well-formed formula:
( ( p \/ q ) -> ( ~ ( (~ p) /\ (~ q) ) ) )