propositional-calculus topic
List
propositional-calculus repositories
lisp-inference
40
Stars
1
Forks
Watchers
An Inference Engine based on Propositional Calculus written in Common Lisp
pmGenerator
20
Stars
3
Forks
Watchers
An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.