Automated Theorem Prover built using the implies and negation rules in System K of the Sequent Calculus
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool