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)

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)

Jump to:

An intro to the code that lies behind the proof diagrams in Proofscape. (16:38)

Jump to:

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!