intercalation calculus prover

We have hosted the application intercalation calculus prover in order to run this application in our online workstations with Wine or directly.

Quick description about intercalation calculus prover:

An ML-based automated theorem prover for propositional logic making use of an algorithm in the intercalation calculus.

Programming Language: OCaml (Objective Caml).
Categories: