#形式化模型

a-mir-formality是GitHub上的一个开源项目，致力于开发Rust MIR的形式化模型。这个早期实验性项目包含多个层次，如检查、核心、宏、证明、Rust声明和类型层，旨在与Rust的trait求解器实现保持一致。该项目目标是成为Rust语言定义的官方组成部分，为开发者提供深入理解MIR的工具。通过Cargo可以运行项目测试。