Report - Modern Physics formalized in Modal Homotopy Type Theory · Modern Physics formalized in Modal Homotopy Type Theory Urs Schreiber ... The restriction of homotopy type theory to homotopy

Please pass captcha verification before submit form