If people are wondering what class prep looks like on my end for Build Your Own Proof Assistant, it's mostly organizing GitHub issues based on progress for the last sprint, and then writing specific goals for teams for the upcoming sprint that align with those issues and have concrete outcomes. So, basically, software engineering management.