/resolution-calculus

Python implementation of ideas in The Resolution Calculus - Alexander Leitsch

Primary LanguagePython

No issues in this repository yet.