Proofscape is Being Redesigned!
Watch these videos for a preview of things to come:
A fast-paced promo for the new Proofscape. (01:17)
An eight-minute introduction to the major features of the new Proofscape. (08:03)
What happened to the old Proofscape website?You can find it here: https://classic.proofscape.org
Where can I find examples of Proofscape repositories?
Start with https://github.com/rrmath/lit to see how to encode deductions from the classic literature.
Then check out https://github.com/skieffer/ahop for examples of annotations and examplorers.
Where's the documentation?
Coming soon! At least the old docs on the Meson language are still accurate.
Mostly accurate, but now out of date on certain key points, is the old tutorial on writing Proofscape modules. Read with a mighty grain of salt!
Can I run the PrIME app on my own machine?
We will be making an alpha release, and we are working on a Docker image for that. Please check back again soon!
If we didn't answer your question in the FAQ, please email Steve at: