TableauxProver for Linux 1.5 freeware download

The download should start automatically in a few seconds.
If it doesn't, click here to start the download process manually.

Would you like to receive announcements about new TableauxProver for Linux versions by email? More details and free registration here.
TableauxProver for Linux has been saved to your freeware list.

Need more great freeware? Check out our must-have freeware list.

A tableaux automatic and semi-automatic prover

« back