Tarski Simple Unity "game" to help you practice with Predicate Logic. History of project: Version 0.4 Version 0.3 Version 0.1