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

Sources | `/macros/generic/tex-ewd` |

Documentation | |

Version | 2008-11-10 |

Licenses | BSD Style License |

Copyright | 2008 Wolfgang Helbig |

Maintainer | Wolfgang Helbig |

Contained in | TeX Live as tex-ewd MiKTeX as tex-ewd |

Topics | Maths |

Download the contents of this package in one zip archive (11.4k).

## Announcements

## Suggestions

Maybe you are interested in the following packages as well.

## Community Comments