mirrorcatalogs logo
QArea Bughuntress
The TeX Catalogue OnLine, Entry for tex-ewd, Ctan Edition

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

Powered by QArea and Bughuntress