Fix "evaluted" typo in proof rules output

March 27, 2026 · #264
View on GitHub
Rust Difficulty: Medium

Labels

good first issue

Parent Repository

rust-lang/a-mir-formality

Rust repository

337 57
All Issues Back to a-mir-formality

Sign in required

Authenticate to use favourites & bookmarks

5