Announcements for TeX-EWD
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
.
| Package | TeX-EWD |
| Version | 2008-11-10 |
| Copyright | 2008 Wolfgang Helbig |
| Maintainer | Wolfgang Helbig |
Atom Atom 1.0 feed with announcements for package TeX-EWD.
RSS RSS 2.0 feed with announcements for package TeX-EWD.