The third release candidate of ProofBudy 1.0 is now available for download. 

Note that this is still considered a pre-release version and may contain functional bugs.