hamr-system-reasoning-prototype Repo for Jacob Legg MS Report artifacts Location HAMRMicro04 Formalization HERE HAMRMicro05 Acyclic Formalization HERE HAMRMicro05 Formalization (Primary) HERE Isolette Implementation Example HERE