Proofscape is Being Redesigned!
Watch these videos for a preview of things to come:
An eight-minute introduction to the major features of the new Proofscape. (08:03)
|
Imagine a reading/topics course using Proofscape. (01:42)
(Intro only. See the full video here.)
|
A look at how we can use Proofscape to write a "walkthrough" for a large and complicated proof. (12:14)
|
An intro to the code that lies behind the proof diagrams in Proofscape. (16:38)
Jump to:
|
FAQ
What happened to the old Proofscape website?
You can find it here: https://classic.proofscape.orgWhere 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!
Other Questions?
If we didn't answer your question in the FAQ, please email Steve at: