Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
notebooks		notebooks
src		src
LICENSE		LICENSE
README.md		README.md
requirements.txt		requirements.txt

Repository files navigation

Classical Proof Tree

Example

About

my implementation on proof trees (attempting for IPC one) in python.

Report repository

Releases

No releases published

Packages

Contributors

Languages