| Correct (3) | Buggy (2) | Missing or very wrong (0) | |
|---|---|---|---|
| Variable declaration and type | All variables and types declared | All variables declared but types missing or not referenced when needed | Missing |
| Correct (3) | Buggy (2) | Missing or very wrong (0) | |
| Definitions and Details | Key concepts and definitions stated correctly when needed and used correctly | Minor errors in definitions or algebra | Fundamental errors or significant missing sections |
| Correct (3) | Buggy (2) | Missing or very wrong (0) | |
| Flow of Logic | Proof begins with the assumption and ends with the claim | Proof starts just after the assumptions or ends just before the conclusion | Proof assumes the claim or runs backwards for a non-trivial amount |
| Correct (3) | Buggy (2) | Missing or very wrong (0) | |
| Style and clarity | Written with good style using mathematical English | Slightly hard to follow, missing some needed words, or excessive detail/wordiness | Very hard to follow. For example missing all connectors or references to justifications of steps when needed |
| Correct (2) | Buggy (1) | Missing or very wrong (0) | |
|---|---|---|---|
| Statement of Contrapositive | Contrapositive stated fully correctly | Small errors in the statement either in quantifier or if/then | Missing or very wrong |
| Correct (3) | Buggy (2) | Missing or very wrong (0) | |
| Variable declaration and type | All variables and types declared | All variables declared but types missing or not referenced when needed | Missing |
| Correct (2) | Buggy (1) | Missing or very wrong (0) | |
| Definitions and Details | Key concepts and definitions stated correctly when needed and used correctly | Minor errors in definitions or algebra | Fundamental errors or significant missing sections |
| Correct (2) | Buggy (1) | Missing or very wrong (0) | |
| Flow of Logic | Proof begins with the assumption and ends with the claim | Proof starts just after the assumptions or ends just before the conclusion | Proof assumes the claim or runs backwards for a non-trivial amount |
| Correct (3) | Buggy (2) | Missing or very wrong (0) | |
| Style and clarity | Written with good style using mathemetical English | Slightly hard to follow, missing some needed words, or excessive detail/wordiness | Very hard to follow. For example missing all connectors or references to justifications of steps when needed |