The first release candidate version of ProofBuddy version 0.7 is now available for download. Note that this considered a pre-release version and may have functional bugs, although there are not any known bugs.
No comments
The first release candidate version of ProofBuddy version 0.7 is now available for download. Note that this considered a pre-release version and may have functional bugs, although there are not any known bugs.