GitHub repository: runtimeverification/smir_pretty
Primary language: Rust
Description: KMIR Rust Library