george: User Manual
[
Introduction
]
[
File Structure
]
[
#check PROP
]
[
#check PRED
]
[
#check PREDTYPES
]
[
#check SEM (etc)
]
[
#check TP
]
[
#check ND
]
[
#check ST
]
[
Arithmetic
]
[
Sets
]
[
#check Z
]
[
#check PC
]
[
Contributions by Students
]
[
Credits
]
[
Keywords
]
14. Credits
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:
- Edison Du (Summer 2025)
- Jane Zheng (Summer 2025)
- Nathan Martin (Winter 2025)
- Jack Chen (Winter 2025)
- Jacqueline Ko, Michelle Xu, Sharon He, Max Ning, Ethan Chen, Abhishek Parapuram, SE Fourth-year Design Project (2023-2025)
- Ross Cleary (2023)
- Jacqueline Ko (Summer 2022)
- Austin You (Winter 2022)
- Ryan Dancy (Summer 2021)
- Taya Davison (Summer 2021)
- Omer Farooq (Winter 2021)
- Corbin McElhanney (Winter 2018)
- Allan Mukundi (Winter 2018)
- Sana Farooqui (2017-18)
- Mitchell Kember (2016-2018)
- Joseph Poremba (2017)
- Zhenyu (Tom) Yang (2017)
- Jake Moffatt (Winter 2014)
george's input format builds on ideas from: