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.