CTAN Comprehensive TeX Archive Network

An­nounce­ments for tex-ewd

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”.

Pack­agetex-ewd
Ver­sion 2008-11-10
Copy­right2008 Wolf­gang Hel­big
Main­tainerWolf­gang Hel­big

Atom Atom 1.0 feed with an­nounce­ments for pack­age tex-ewd.
RSS RSS 2.0 feed with an­nounce­ments for pack­age tex-ewd.

Guest Book Sitemap Contact Contact Author