170 | Formalizing Design with Gabrielle Mérite and Alan Wilson Spil 170 | Formalizing Design with Gabrielle Mérite and Alan Wilson