tex-ewd

Macros to typeset calculational proofs and programs in Dijkstra's style

License: bsd Version dated: 2008-11-10 Catalogued: 2016-06-24

• Visit
  • Visit a nearby CTAN:/macros/generic/tex-ewd. If this fails, try Dante.
  • Visit Dante:/macros/generic/tex-ewd
• Download
  • Download from a nearby CTAN (automatically identified).
  • Download from Cambridge.
• Documentation
  • Readme: README.
• Distributions
  • This package is included in TeX Live.
  • This package is included in MiKTeX.