# formality-core

`formality_core` is the language independent part of a-mir-formality.
It can be reused by other projects looking to model formal semantics of languages besides Rust.