LoTREC Generic Tableau Prover

LoTREC 2.0 is executable via a Java Web Start ⁽¹⁾:

Running the web start offers you many features, such as:

• Automatic update: you will be sure to always run the latest available version of LoTREC
• Offline run: after the first download there is no more need for Internet connection
• Lazy download: while there is not a new version, you run the already downloaded package
• Full featured GUI: you have access to the entire rich graphical interface

Another way to run LoTREC is to:

• Download the distribution executable ⁽²⁾

(1), (2) require Java Runtime Environment (JRE) 6 (or later)