CTAN Comprehensive TeX Archive Network

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
LicensesBSD Style License
Copyright2008 Wolfgang Helbig
MaintainerWolfgang Helbig
Contained inTeX Live as tex-ewd
MiKTeX as tex-ewd
TopicsMaths

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

Community Comments

Loading...

Announcements

Here you can see a respective diagram in newer browsers.

more

Guest Book Sitemap Contact Contact Author