mu-formal-hol

mu-formal-hol

HOL4 formalisation of core microvm