Lilac
Troubleshooting
Download
Other tutorials
References
LoTREC Generic Tableau Prover
LoTREC: possible worlds finally made accessible
@irit
Feb 07, 2019
LoTREC: possible worlds finally made accessible
Download the LoTREC 2.0 executable package