Macros to typeset calculational proofs and programs in Dijkstra's style
The author is Wolfgang Helbig. The package is Copyright © 2008 Wolfgang Helbig.
License: bsd Version dated: 2008-11-10 Catalogued: 2016-06-24
High-Performance Open-Source Archive
Macros to typeset calculational proofs and programs in Dijkstra's style
The author is Wolfgang Helbig. The package is Copyright © 2008 Wolfgang Helbig.
License: bsd Version dated: 2008-11-10 Catalogued: 2016-06-24
Need mirroring services?
Contact our team at info@vpspulse.com.
Mirror powered by VPSpulse
Infrastructure sponsored by VPSPulse & Secure Payments by ArionPay.