Open Issues Need Help
View All on GitHub Inconsistent mutable reference syntax 11 days ago
good first issue quality of life improvement
good first issue
good first issue
good first issue
Make `else` branch optional in `if` statements 29 days ago
good first issue
Discrepancy in test case `basic_where_clauses_pass` about 2 months ago
bug good first issue formality-rust-discrepancy-triaged
good first issue
Convert `check_adt` to a judgment function 3 months ago
good first issue
Convert `check_trait` to a judgment function 4 months ago
good first issue
good first issue
Reject moves of borrowed places 4 months ago
good first issue
Cleanup: NLL mutable stack building pattern 4 months ago
good first issue
Convert `check_trait_impl` to a judgment function 4 months ago
enhancement good first issue
Add support for auto traits 4 months ago
good first issue
Expand test coverage for Expr variants 4 months ago
enhancement good first issue
Reject moves out of references 4 months ago
enhancement good first issue
closures -- how to model them 4 months ago
good first issue
enhancement good first issue
Convert `check_coherence` to a judgment function 4 months ago
enhancement good first issue
good first issue
good first issue
good first issue
Add borrow-check test coverage for `ExprData::Call` 4 months ago
good first issue
Add type-check test coverage for `ExprData::True` 4 months ago
good first issue
Add type-check test coverage for `Stmt::If` 4 months ago
good first issue
Add test coverage for `ExprData::False` 4 months ago
good first issue
Fix "evaluted" typo in proof rules output 4 months ago
good first issue
good first issue
Cleanup: nicer pattern for Arc in #[term] types 5 months ago
good first issue