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