The TeX Catalogue Online

newproof

Make commands to define proofs

The authors are Mike Piff and Robin Fairbairns.

License: pd Version dated: 2010-12-03 Catalogued: 2016-06-24