Small changes to handle AI

Summary

Clark combines flexible practice with selected in-class checks while retaining proof portfolios.

Most standards required one successful in-class demonstration alongside an asynchronous attempt. Long-form proof work remained outside class.

Students still reported stress; anonymous surveys revealed heterogeneous attitudes and uses. The course illustrates a different compromise from moving everything into exams.

The survey is self-reported; the author acknowledges difficulty enforcing the original ban.