Themes > Mathematical skills >
Assessment of proof
| Code | Question | Contributors |
|---|---|---|
| Q49 | How can the assessment of proof be automated? |
|
| Q50 | What can automated theorem provers (e.g. LEAN) offer to the e-assessment of proof comprehension? |
|
| Q51 | What types/forms of proof-comprehension-related questions can be meaningfully assessed using currently available e-assessment platforms? |
|
| Q52 | How can students effectively type free-form proof for human marking online? |
|