4 ms·Is there a non-homotopy type theory with univalence?by remexre 4y agoIs there a non-homotopy type theory with univalence?