dwLG00 / resolution-calculus Public

Notifications You must be signed in to change notification settings
Fork 0
Star 2

Python implementation of ideas in The Resolution Calculus - Alexander Leitsch

2 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
__pycache__		__pycache__
.gitignore		.gitignore
README.md		README.md
helper.py		helper.py
predicate_logic.py		predicate_logic.py
reduce.py		reduce.py
sandbox.py		sandbox.py

Repository files navigation

Resolution Calculus

Implementation of ideas in The Resolution Calculus by Alexander Leitsch

About

Python implementation of ideas in The Resolution Calculus - Alexander Leitsch

Report repository

Releases

No releases published

Packages

No packages published

Languages

Python 100.0%