| Name : texlive-tex-ewd
| |
| Version : 2017.134.svn15878
| Vendor : openSUSE
|
| Release : lp152.6.2
| Date : 2019-09-20 22:24:17
|
| Group : Productivity/Publishing/TeX/Base
| Source RPM : texlive-specs-w-2017-lp152.6.2.src.rpm
|
| Size : 0.01 MB
| |
| Packager : https://bugs_opensuse_org
| |
| Summary : 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\".
date: 2016-06-24 17:18:15 +0000
|
RPM found in directory: /vol/rzm3/linux-opensuse/distribution/leap/15.2/repo/oss/noarch |
