Sorry, we’re lagging behind!#
We’re working hard to deliver good documentation for Proofscape, and we humbly ask your patience while we do the best we can.
Our software has recently emerged from a major period of feature development, and unfortunately the docs always lag behind the features.
In the meantime, we have a few offerings below. Please stay tuned for something much better!
More and better versions of these are on the way, but for now we invite you to get started with what’s currently available:
Old, and out-of-date docs#
There are some out-of-date docs which still give a good indication of how the Proofscape language works. Some parts of these docs are still accurate, while in others places there are some inaccuracies.
With this warning in mind, you can find the:
You can find a list of all these projects, with links to their GitHub pages, on our licensing page.