Macros to typeset calculational proofs and programs in Dijkstra's style
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.
| Linter | Message | Location |
|---|---|---|
| description Validate package descriptions | sentences in description should be followed by two spaces; possible infraction at 8 |