Assuming {{assumptionsDisplay}}, prove that {{targetDisplay}}
{{proofError}}
|
Correct!
line mistake {{localCheck}}Assumptions: Target: {{questionError}}
Line Templates Success Failure| Name | Reader view | Antecedents | Results | Variables | Error 1 | Error 2 | |
| {{LineTemplateErrors[i]}} |
| Name | Occurs | Message 1 | |
| {{mistakeErrors[i][j]}} |
| indentation(n) | Number of times line n is indented | |||
| template(n) | Name of the template of line n | |||
| antecedents(n) | Formulas line n assumes have been proved | |||
| results(n) | Formulas proved by line n | |||
| variables(n) | Free variables occuring in line n (as expressions) | |||
| text(n) | Raw text of line n | |||
| element(p, n) | The expression instantiating template variable p in line n | |||
| num_lines() | Number of lines in the proof | |||
| assumptions() | Formulas the student can assume in the problem | |||
| target() | Formula the student has to prove in this problem | |||
| question_variables() | Variables occurring in the question (as expressions) | |||
| entry(i, S) | The ith entry of set of expressions S | |||
| if(p,x,y) | If p is true this returns x, otherwise returns y | |||
| substitute(p,x,a) | Replaces all instances of variable x in formula p with element a | |||
| = | {{controlFunctionErrors[i]}} |