intercalation calculus prover to run in windows online over linux online

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

Quick description about intercalation calculus prover to run in windows online over linux online:

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

Programming Language: OCaml (Objective Caml).

.