Tags: GitHub
-
structproof - A package for typesetting structured proofs
This package extends the amsmath proof enviroment with enviroments for claims and corresponding proofs.
Geschrieben am 5.2.2009
This package extends the amsmath proof enviroment with enviroments for claims and corresponding proofs.