Software Developed by Bruno Lopes
TableauxProver for Linux 1.1-1 v.1
TableauxProver works as an automatic prover and also as a sketchpad which does not allow the user to commit rule mistakes.
TableauxProver 1.1-1 v.1
TableauxProver works as an automatic prover and also as a sketchpad which does not allow the user to commit rule mistakes.