Formal definition, metatheory, and tools for the Machine Independent Language using HOL4 and CakeML
Primary LanguageStandard MLOtherNOASSERTION
No issues in this repository yet.