Session 09 - Propose and discuss your own formalization candidate theories
We decide which theories will be formalized in the second part of the course.
Overview
| Topic | Duration | Notes |
|---|---|---|
| Discuss the candidate theories, form groups | 150 | |
| Prepare a new repository in each group |
Prepare your own repository
Each group should set up their technical infrastructure - from now on, you start working in your own repository.
- Create a fresh Github repository and a folder on Google Drive (or a comparable collaborative document) for the tables.
- Link the latter in the README of the repository.
- Invite the lecturer (user name:
nicebread) as a collaborator: Settings → Collaborators → “Add people”