README

TableauxProver

A theorem prover on Tableaux

version 1.5

Copyright:

Bruno Lopes <bvieira@inf.puc-rio.br>
Edward Hermann <hermann@inf.puc-rio.br>

http://www.tecmf.inf.puc-rio.br/TableauxProver

Licensed under a Creative Commons Attribution 3.0 Unported License
http://creativecommons.org/licenses/by/3.0/

Revision history
 * 1.5   small bug correction on string treatment
 * 1.4   adapted to LÖVE 0.80
 * 1.3   small bug correction on For All Expansion
 * 1.2   new auto resolution strategy and bug correction on LaTeX generation
 * 1.1-1 new FOL constant specification
 * 1.1   new color pattern and small bug correction on FOL variable substitution
 * 1.0   first official release
 * 0.6   recoded in Lua using Love2D
 * 0.5   fixed bug on first order logic variable creator
 * 0.4   back to interfascia toolkit (controlP5 not working under Linux) and parser bug fixes
 * 0.3   support to infix notation
 * 0.2-1 undo action, many bug fixes and new formulae display
 * 0.2   support to first order classical logic
 * 0.1   support to zero order classical logic