A mechanisation of Wasm in Isabelle.
Primary LanguageIsabelleBSD 2-Clause "Simplified" LicenseBSD-2-Clause