Explore 4 packages in the TPIX registry
Stash content to display it later.
Straightforward and functional theorem/proof environments.
Make typesetting theorems and proofs trivial.
Worksheet and exam template used by Data 8 at UC Berkeley.