Description
Macros to typeset calculational proofs and programs in Dijkstra's style.
This package cannot be installed or used directly. Please use texlive.withPackages (ps: [ ps.tex-ewd ]).
package
tex-ewd
Metadata
Version
15878Macros to typeset calculational proofs and programs in Dijkstra's style.
This package cannot be installed or used directly. Please use texlive.withPackages (ps: [ ps.tex-ewd ]).
15878