# Sample mathematical proofs

STACK is distributed with sample proofs (in English) in the source code within the [maxima contrib directory](https://github.com/maths/moodle-qtype_stack/tree/master/stack/maxima/contrib/proofsamples).

## Currently available proofs

The proofs currently available are...

## Using these proofs via the sample Parsons question

