Sunset Tree

Package arm-model-1.0

Information

versions1.0  1.1
descriptionARM model
authorHOL OpenTheory Packager <opentheory-packager@hol-theorem-prover.org>
licenseMIT
installed01:02:00 on Thursday 28 July 2016

For more details see the package document.