We're leaving this section of our site up for the time being, but any updates will occur on the new documentation wiki.
Welcome to the online help for ProofBuddy.
You can find what you are looking for either by using the index to the left or the search box.
Conventions use in these help pages.
Throughout the ProofBuddy help system we use the following fonts and icons to draw your attention to certain sections.
A helpful tip or technique to help you get the most out of ProofBuddy
Pay special attention to warnings. They are there to help you stay away from potential problems.