Lean project to formalize transfer systems (Winter 2024 at University of Washington under WXML).
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/nalouie/Transfer-Systems.git"
- Change the fourth step's command to "cd Transfer-Systems"