Homotopy Type Theory2024-03-15T17:04:27Ztag:ncatlab.org,2014-02-17:Homotopy+Type+TheoryAn Instiki WikiInstikiintegers > history2024-03-15T17:04:27Z2022-02-26T06:12:53Ztag:ncatlab.org,2022-02-26:Homotopy Type Theory,integers+%3E+historyAnonymouseUpdated by Anonymouse on 2024-03-15 at 17:04:27Z.Sandbox2024-03-08T18:11:52Z2022-03-11T23:00:34Ztag:ncatlab.org,2022-03-11:Homotopy Type Theory,SandboxAnonymousUpdated by Anonymous on 2024-03-08 at 18:11:52Z.dependent type theory > history2022-11-28T06:56:12Z2022-10-13T03:54:48Ztag:ncatlab.org,2022-10-13:Homotopy Type Theory,dependent+type+theory+%3E+historyAnonymousUpdated by Anonymous on 2022-11-28 at 06:56:12Z.homotopy type theory > history2022-11-28T04:08:03Z2022-04-14T07:31:45Ztag:ncatlab.org,2022-04-14:Homotopy Type Theory,homotopy+type+theory+%3E+historyAnonymousUpdated by Anonymous on 2022-11-28 at 04:08:03Z.ETCS as a dependent type theory > history2022-11-28T03:48:48Z2022-10-19T22:59:22Ztag:ncatlab.org,2022-10-19:Homotopy Type Theory,ETCS+as+a+dependent+type+theory+%3E+historyAnonymousUpdated by Anonymous on 2022-11-28 at 03:48:48Z.cohesive homotopy type theory > history2022-11-28T03:21:30Z2022-04-02T17:45:38Ztag:ncatlab.org,2022-04-02:Homotopy Type Theory,cohesive+homotopy+type+theory+%3E+historyAnonymousUpdated by Anonymous on 2022-11-28 at 03:21:30Z.HomePage2022-11-28T03:18:42Z2014-02-17T04:19:42Ztag:ncatlab.org,2014-02-17:Homotopy Type Theory,HomePageAnonymousUpdated by Anonymous on 2022-11-28 at 03:18:42Z.propositional logic > history2022-10-14T20:17:28Z2022-10-14T02:32:15Ztag:ncatlab.org,2022-10-14:Homotopy Type Theory,propositional+logic+%3E+historyAnonymousUpdated by Anonymous on 2022-10-14 at 20:17:28Z.type theory over logic > history2022-10-14T20:14:38Z2022-10-14T17:47:52Ztag:ncatlab.org,2022-10-14:Homotopy Type Theory,type+theory+over+logic+%3E+historyAnonymousUpdated by Anonymous on 2022-10-14 at 20:14:38Z.Tarski universe > history2022-10-07T14:10:14Z2022-10-04T13:51:33Ztag:ncatlab.org,2022-10-04:Homotopy Type Theory,Tarski+universe+%3E+historyAnonymousUpdated by Anonymous on 2022-10-07 at 14:10:14Z.universe > history2022-10-04T13:39:36Z2014-03-31T11:54:13Ztag:ncatlab.org,2014-03-31:Homotopy Type Theory,universe+%3E+historyAnonymousUpdated by Anonymous on 2022-10-04 at 13:39:36Z.about > history2022-06-20T03:06:12Z2014-02-18T13:13:54Ztag:ncatlab.org,2014-02-18:Homotopy Type Theory,about+%3E+historyAnonymousUpdated by Anonymous on 2022-06-20 at 03:06:12Z.an axiomatization of the real numbers > history2022-06-19T23:52:18Z2022-04-22T08:29:10Ztag:ncatlab.org,2022-04-22:Homotopy Type Theory,an+axiomatization+of+the+real+numbers+%3E+historyAnonymousUpdated by Anonymous on 2022-06-19 at 23:52:18Z.higher observational type theory > history2022-06-19T18:26:34Z2022-04-29T14:10:55Ztag:ncatlab.org,2022-04-29:Homotopy Type Theory,higher+observational+type+theory+%3E+historyAnonymousUpdated by Anonymous on 2022-06-19 at 18:26:34Z.booleans > history2022-06-19T03:04:10Z2022-03-12T17:21:15Ztag:ncatlab.org,2022-03-12:Homotopy Type Theory,booleans+%3E+historyAnonymousUpdated by Anonymous on 2022-06-19 at 03:04:10Z.