texlive-tex-ewd - Macros to typeset calculational proofs and programs in Dijkstra's style
| Website: | http://tug.org/texlive/ |
|---|---|
| License: | BSD |
| Vendor: | Alcance Libre, Inc. |
- Description:
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".
Packages
| texlive-tex-ewd-svn15878.0-46.fc14.al.noarch [47 KiB] |
Changelog
by Tom Callaway (2021-09-09):
- add Requires: texlive-epstopdf to texlive-epstopdf-pkg (bz2002690) |