Download

Revision as of 09:15, 19 January 2010 by Daniel Plagge (talk | contribs)

Latest Stable Release

Development Release

Platform ProB version Release Date Download
Mac OS X, Snow Leopard 1.3.1final5 13.01.2010 Link
Mac OS X, PowerPC, Tiger 1.3.1final3 07.12.2009 Link
Linux 1.3.1final5 13.01.2010 ProB-linux-1.3.1final5.tar.gz