SLI – Inference Logical System

SLI is an automated theorem prover developed for easing the learning of computational logic.

The SLI application runs in any modern Microsoft Windows version. Program installation is really easy: the zip file available for free in this Web (http://www.infor.uva.es/~arancha/SLI.html) should be unzipped and SLI is ready to use.