Daily Archives: July 27, 2017

Modern physics formalized in modal HoTT

Advertisements