The TeX Catalogue Online

tex-ewd

Macros to typeset calculational proofs and programs in Dijkstra's style

The author is Wolfgang Helbig. The package is Copyright © 2008 Wolfgang Helbig.

License: bsd Version dated: 2008-11-10 Catalogued: 2016-06-24