tex-ewd
Macros to typeset calculational proofs and programs in Dijkstra's style.
- Version:
- Copyright:
- License:
- Packaged on:
- 11/14/2008 09:58:33
- Number of files:
- 5
- Size on disk:
- 27.77 kB
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”.