The TeX Catalogue OnLine, Entry for tex-ewd, Ctan Edition

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”.

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

Visit
- Visit a nearby CTAN:/macros/generic/tex-ewd. If this fails, try Dante.
- Visit Dante:/macros/generic/tex-ewd
Download
- Download from a nearby CTAN (automatically identified).
- Download from Cambridge.
Documentation
- Readme: README.
Distributions
- This package is included in TeX Live.
- This package is included in MikTeX.