Modern physics formalized in modal HoTT

Publicités