The current release consists of: Boole 2.7, Fitch 2.7, Submit 2.7, and Tarski's World 6.7
Download Software Updates (Student Log in Required)
If you have our software, but are unable to make a submission because of problems with Submit, please check this page
Software Help
View documentation for our applications:
- For Macintosh: Boole, Fitch, Tarski's World, Submit
- For Windows: Boole, Fitch, Tarski's World, Submit
File a Bug Report
We appreciate hearing about bugs in our software, and address
all reports as quickly as possible.
Language, Proof, and Logic
•
Tarski's World
The Openproof Project
•
CSLI
•
Stanford University
•
CSLI Publications
All pages and images on this website are copyright material. © The Openproof™ Project 2005-2009.