CTAN Comprehensive TeX Archive Network

tex-ewd – Macros to typeset calculational proofs and programs in Dijkstra'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”.

Sources/macros/generic/tex-ewd
Doc­u­men­ta­tion
Ver­sion 2008-11-10
Li­censesBSD Style Li­cense
Copy­right2008 Wolf­gang Hel­big
Main­tainerWolf­gang Hel­big
Con­tained inTeX Live as tex-ewd
MiKTeX as tex-ewd
TopicsMaths

Down­load the con­tents of this pack­age in one zip archive (11.4k).

Com­mu­nity Com­ments

Load­ing...

An­nounce­ments

Here you can see a re­spec­tive di­a­gram in newer browsers.

more

Guest Book Sitemap Contact Contact Author