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)

A look at how we can use Proofscape to write a "walkthrough" for a large and complicated proof. (12:14)


Other Questions?

If we didn't answer your question in the FAQ, please email Steve at: