Language

Package: texlive-tex-ewd @ 66594

Synopsis

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

Description

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.

Home page
https://ctan.org/pkg/tex-ewd
Location
gnu/packages/tex.scm (line: 29573, column: 2)
License

Derivations

SystemTargetDerivationBuild status
x86_64-linux/gnu/store/1bay4w0r26g9ridw6y97mwq2p85jsp22-texlive-tex-ewd-66594.drv
x86_64-linuxxtensa-ath9k-elf/gnu/store/1bay4w0r26g9ridw6y97mwq2p85jsp22-texlive-tex-ewd-66594.drv
x86_64-linuxx86_64-w64-mingw32/gnu/store/1bay4w0r26g9ridw6y97mwq2p85jsp22-texlive-tex-ewd-66594.drv
x86_64-linuxx86_64-linux-gnux32/gnu/store/1bay4w0r26g9ridw6y97mwq2p85jsp22-texlive-tex-ewd-66594.drv
x86_64-linuxriscv64-linux-gnu/gnu/store/1bay4w0r26g9ridw6y97mwq2p85jsp22-texlive-tex-ewd-66594.drv
x86_64-linuxpowerpc-linux-gnu/gnu/store/1bay4w0r26g9ridw6y97mwq2p85jsp22-texlive-tex-ewd-66594.drv
x86_64-linuxpowerpc64-linux-gnu/gnu/store/1bay4w0r26g9ridw6y97mwq2p85jsp22-texlive-tex-ewd-66594.drv
x86_64-linuxpowerpc64le-linux-gnu/gnu/store/1bay4w0r26g9ridw6y97mwq2p85jsp22-texlive-tex-ewd-66594.drv
x86_64-linuxor1k-elf/gnu/store/1bay4w0r26g9ridw6y97mwq2p85jsp22-texlive-tex-ewd-66594.drv
x86_64-linuxmips64el-linux-gnu/gnu/store/1bay4w0r26g9ridw6y97mwq2p85jsp22-texlive-tex-ewd-66594.drv
x86_64-linuxi686-w64-mingw32/gnu/store/1bay4w0r26g9ridw6y97mwq2p85jsp22-texlive-tex-ewd-66594.drv
x86_64-linuxi586-pc-gnu/gnu/store/1bay4w0r26g9ridw6y97mwq2p85jsp22-texlive-tex-ewd-66594.drv
x86_64-linuxavr/gnu/store/1bay4w0r26g9ridw6y97mwq2p85jsp22-texlive-tex-ewd-66594.drv
x86_64-linuxarm-linux-gnueabihf/gnu/store/1bay4w0r26g9ridw6y97mwq2p85jsp22-texlive-tex-ewd-66594.drv
x86_64-linuxaarch64-linux-gnu/gnu/store/1bay4w0r26g9ridw6y97mwq2p85jsp22-texlive-tex-ewd-66594.drv
riscv64-linux/gnu/store/ssx240azq60nfa6mabibga25awjqnzbn-texlive-tex-ewd-66594.drv
powerpc-linux/gnu/store/6j4wg1nng5bcj33mla02pzzb904dm24m-texlive-tex-ewd-66594.drv
    powerpc64le-linux/gnu/store/23yy85kmqyzyjxl6rrwg0py09pa1x9lb-texlive-tex-ewd-66594.drv
    mips64el-linux/gnu/store/b6gnw1qw9a4bg0b5d20x07qm0pf9ws9d-texlive-tex-ewd-66594.drv
      i686-linux/gnu/store/dgflnwzc1ajwdfdriyifipfh6rgpnkgs-texlive-tex-ewd-66594.drv
      i586-gnu/gnu/store/wnxagdd6qkgyzazd94ck63pysfwbciqx-texlive-tex-ewd-66594.drv
      armhf-linux/gnu/store/h6ami4fwq1q24fpijcy88kpz1aw3dkyn-texlive-tex-ewd-66594.drv
      aarch64-linux/gnu/store/mmb1rlkc1z6ycf1937knyaaxlipkifp4-texlive-tex-ewd-66594.drv

      Lint warnings

      LinterMessageLocation
      description

      Validate package descriptions

      sentences in description should be followed by two spaces; possible infraction at 8