Initial Project Discussions and Practice Exercises

People proposed some initial ideas for formalization projects to begin after the break. Afterwards, we worked in small groups on practice exercises found in the Github repository based on comfort level.