Updating the available pre-release version of ProofBuddy was on my to do list last weekend. A few months ago I wrote a script that pulls…
Updating the available pre-release version of ProofBuddy was on my to do list last weekend. A few months ago I wrote a script that pulls…