Sunset Tree

Package machine-code-hoare-logic-1.0

Information

versions1.0  1.1
descriptionA Hoare logic for machine code
authorHOL developers <hol-developers@lists.sourceforge.net>
licenseMIT
installed06:26:59 on Friday 13 May 2016

For more details see the package document.