Should Type Theory (HoTT) Replace (ZFC) Set Theory as the Foundation of Math?link.springer.com2 pointswesturnera year ago