·
3 commits
to master
since this release
Release of MIL definition, OoO and IO semantics, metatheory, and tools in HOL4 and CakeML, as artifact for an FMCAD 2022 paper. Includes a technical report rendering key definitions and result statements into more readable mathematical vernacular.