Version:
Copyright:
License:
Packaged on:
11/14/2008 9:58:33 AM
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”.