Version:
Copyright:
License:
Packaged on:
14.11.2008 09:58:33
Number of files:
5
Size on disk:
27,77 kB

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