2 ms·Type Theory Forall: What Is Type Theory and What Properties We Should Care About1 points by matt_d 2y ago