The current release consists of: Submit 2.6 and Tarski's World 6.6

Download Software Updates (Log in Required)

Software Help
View documentation for our applications:

• For Macintosh: Tarski's World, Submit
• For Windows: Tarski's World, Submit

File a Bug Report
We appreciate hearing about bugs in our software, and address all reports as quickly as possible.

Winners of the
1997 Educom Award

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.