# The Amy Specification 

You can access the Amy specification document [here](https://gitlab.epfl.ch/lara/cs320/-/blob/main/labs/amy_specification.pdf).