[
Introduction
]
[
File Structure
]
[
#check PROP
]
[
#check PRED
]
[
#check PREDTYPES
]
[
#check TP
]
[
#check ND
]
[
#check ST
]
[
Arithmetic
]
[
Sets
]
[
#check Z
]
[
#check PC
]
[
Contributions by Students
]
[
Credits
]
Keywords
]
The software for SE212 is called george. It was developed at the University of Waterloo specifically to assist students to learn SE212 material. george accepts textual formulas and proofs in the methods taught in SE212 and provides feedback on the correctness of the solutions. george CANNOT check if your solutions are completely correct as that requires the judgement of a TA, however, george will provide you with useful feedback to help learn the material. We also use george when marking your assignments. Your assignments will also be read by TAs.
george is a program in Python 3 that operates through a simple web interface:
The following sections describe both the input format expected by george and the correctness checks that georgeperforms on the input.