Download

Latest Stable Release

Development Release

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