tex-ewd – Macros to type­set cal­cu­la­tional proofs and pro­grams in Di­jk­stra's style

Eds­ger W. Di­jk­stra and oth­ers sug­gest a unique style to present math­e­mat­i­cal proofs and to con­struct pro­grams. This pack­age pro­vides macros that sup­port cal­cu­la­tional proofs and Di­jk­stra’s “guarded com­mand lan­guage”.