This repository has been archived by the owner on Jul 23, 2020. It is now read-only.
forked from blopesvieira/TableauxProver
-
Notifications
You must be signed in to change notification settings - Fork 0
An automatic and semi-automatic theorem prover on Tableaux
jeffsantos/tableaux-prover
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
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
About
An automatic and semi-automatic theorem prover on Tableaux
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published