The TeX Catalogue Online


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