#56 - Property Based Testing and Grad School Applications - Francille Zhuang | Type Theory Forall | Podwise