rust-lang / a-mir-formality

a model of MIR and the Rust type/trait system
298Updated last month

Alternatives and similar repositories for a-mir-formality:

Users that are interested in a-mir-formality are comparing it to the libraries listed below