GitHub repository: microvm/uvm-hol
Primary language: Standard ML
Created: 2015-09-03T03:07:57Z
Description: HOL4 formalisation of core microvm