[
Introduction
]
[
File Structure
]
[
#check PROP
]
[
#check PRED
]
[
#check TP
]
[
#check ND
]
[
#check ST
]
[
Arithmetic
]
[
Sets
]
[
#check Z
]
[
#check PC
]
[
Contributions by Students
]
[
Credits
]
Keywords
]
george was originally developed by Amirhossein Vakili and Nancy Day at the School of Computer Science at the University of Waterloo.
Since then, george has been completely rebuilt by Nancy Day and many SE/CS students working as URAs: