Contributor
@emarzion
repos
3
ecosystems
languages
commits
43
The symbolic execution engine powering the K Framework
Translate Rust 🦀 LLBC code (generated by https://github.com/AeneasVerif/charon) to Coq 🐓
A Formal Semantics of WebAssembly in K
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.