Letter T

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)

Listing created by Repoview-0.6.6-6.fc14.al