GitHub repository: rust-lang/a-mir-formality
Primary language: Rust
Description: a model of MIR and the Rust type/trait system