Sample mathematical proofs

STACK is distributed with sample proofs (in English) in the source code within the maxima contrib directory.

Currently available proofs

The proofs currently available are...

Using these proofs via the sample Parsons question