Please follow these instructions to get this repository on your computer. Make sure to:
- Change the third step's command to "git clone https://github.com/StevennZZZ/FormalizingMATH300.git"
- Change the fourth step's command to "cd FormalizingMATH300"
Good luck :)