The TeX Catalogue Online

tex-ewd

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

Edsger W. Dijkstra and others suggest a unique style to present mathematical proofs and to construct programs. This package provides macros that support calculational proofs and Dijkstra’s “guarded command language”.

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

License: bsd Version dated: 2008-11-10 Catalogued: 2012-06-27