Lab 01: Setup
due by Monday, Jan 30, 2023
- Setup up a private repository for the lab work from the course repository.
- Add me as a collaborator to your private repository.
- Fill in all the details in
PnP2023/Labs/Lab01/Register.lean. - When you run
lake exe lab1your details should be printed out. - Message me on Zulip to submit your lab.