Homotopy Type Theory Latest Revisions

• UMyn8W7b ( UMyn8W7b(rev # 214) | history )
  by Anonymous? at January 5, 2023 at 06:15:30
• UMyn8W7b ( UMyn8W7b(rev # 213) | history )
  by Anonymous? at January 5, 2023 at 05:35:34
• UMyn8W7b ( UMyn8W7b(rev # 212) | history )
  by Anonymous? at January 5, 2023 at 03:07:24
• UMyn8W7b ( UMyn8W7b(rev # 211) | history )
  by Anonymous? at January 5, 2023 at 01:02:36
• UMyn8W7b ( UMyn8W7b(rev # 210) | history )
  by Anonymous? at January 4, 2023 at 21:55:26
• UMyn8W7b ( UMyn8W7b(rev # 209) | history )
  by Anonymous? at January 4, 2023 at 06:45:03
• UMyn8W7b ( UMyn8W7b(rev # 208) | history )
  by Anonymous? at January 4, 2023 at 02:05:27
• UMyn8W7b ( UMyn8W7b(rev # 207) | history )
  by Anonymous? at December 31, 2022 at 00:49:58
• UMyn8W7b ( UMyn8W7b(rev # 206) | history )
  by Anonymous? at December 30, 2022 at 23:50:48
• UMyn8W7b ( UMyn8W7b(rev # 205) | history )
  by Anonymous? at December 28, 2022 at 22:21:19
• UMyn8W7b ( UMyn8W7b(rev # 204) | history )
  by Anonymous? at December 28, 2022 at 20:54:22
• UMyn8W7b ( UMyn8W7b(rev # 203) | history )
  by Anonymous? at December 28, 2022 at 17:08:07
• UMyn8W7b ( UMyn8W7b(rev # 202) | history )
  by Anonymous? at December 28, 2022 at 16:23:59
• UMyn8W7b ( UMyn8W7b(rev # 201) | history )
  by Anonymous? at December 28, 2022 at 14:50:23
• UMyn8W7b ( UMyn8W7b(rev # 200) | history )
  by Anonymous? at December 28, 2022 at 00:41:15
• UMyn8W7b ( UMyn8W7b(rev # 199) | history )
  by Anonymous? at December 27, 2022 at 22:27:41
• UMyn8W7b ( UMyn8W7b(rev # 198) | history )
  by Anonymous? at December 27, 2022 at 01:12:05
• UMyn8W7b ( UMyn8W7b(rev # 197) | history )
  by Anonymous? at December 26, 2022 at 23:13:16
• UMyn8W7b ( UMyn8W7b(rev # 196) | history )
  by Anonymous? at December 26, 2022 at 18:43:20
• UMyn8W7b ( UMyn8W7b(rev # 195) | history )
  by Anonymous? at December 26, 2022 at 17:43:32
• UMyn8W7b ( UMyn8W7b(rev # 194) | history )
  by Anonymous? at December 26, 2022 at 15:11:06
• UMyn8W7b ( UMyn8W7b(rev # 193) | history )
  by Anonymous? at December 25, 2022 at 22:40:25
• UMyn8W7b ( UMyn8W7b(rev # 192) | history )
  by Anonymous? at December 25, 2022 at 20:28:16
• UMyn8W7b ( UMyn8W7b(rev # 191) | history )
  by Anonymous? at December 25, 2022 at 16:06:11
• UMyn8W7b ( UMyn8W7b(rev # 190) | history )
  by Anonymous? at December 24, 2022 at 06:56:17
• UMyn8W7b ( UMyn8W7b(rev # 189) | history )
  by Anonymous? at December 24, 2022 at 03:10:32
• UMyn8W7b ( UMyn8W7b(rev # 188) | history )
  by Anonymous? at December 24, 2022 at 02:37:24
• UMyn8W7b ( UMyn8W7b(rev # 187) | history )
  by Anonymous? at December 23, 2022 at 23:17:19
• UMyn8W7b ( UMyn8W7b(rev # 186) | history )
  by Anonymous? at December 23, 2022 at 21:50:48
• UMyn8W7b ( UMyn8W7b(rev # 185) | history )
  by Anonymous? at December 23, 2022 at 19:39:30
• UMyn8W7b ( UMyn8W7b(rev # 184) | history )
  by Anonymous? at December 22, 2022 at 16:58:10
• UMyn8W7b ( UMyn8W7b(rev # 183) | history )
  by Anonymous? at December 21, 2022 at 15:04:45
• UMyn8W7b ( UMyn8W7b(rev # 182) | history )
  by Anonymous? at December 21, 2022 at 02:39:08
• UMyn8W7b ( UMyn8W7b(rev # 181) | history )
  by Anonymous? at December 20, 2022 at 22:27:50
• UMyn8W7b ( UMyn8W7b(rev # 180) | history )
  by Anonymous? at December 20, 2022 at 20:47:29
• UMyn8W7b ( UMyn8W7b(rev # 179) | history )
  by Anonymous? at December 20, 2022 at 20:12:58
• UMyn8W7b ( UMyn8W7b(rev # 178) | history )
  by Anonymous? at December 19, 2022 at 22:37:07
• UMyn8W7b ( UMyn8W7b(rev # 177) | history )
  by Anonymous? at December 19, 2022 at 20:14:15
• UMyn8W7b ( UMyn8W7b(rev # 176) | history )
  by Anonymous? at December 19, 2022 at 18:02:52
• UMyn8W7b ( UMyn8W7b(rev # 175) | history )
  by Anonymous? at December 18, 2022 at 03:36:04
• UMyn8W7b ( UMyn8W7b(rev # 174) | history )
  by Anonymous? at December 18, 2022 at 02:31:48
• UMyn8W7b ( UMyn8W7b(rev # 173) | history )
  by Anonymous? at December 18, 2022 at 00:42:57
• UMyn8W7b ( UMyn8W7b(rev # 172) | history )
  by Anonymous? at December 17, 2022 at 16:50:41
• UMyn8W7b ( UMyn8W7b(rev # 171) | history )
  by Anonymous? at December 17, 2022 at 16:19:16
• UMyn8W7b ( UMyn8W7b(rev # 170) | history )
  by Anonymous? at December 15, 2022 at 23:10:30
• UMyn8W7b ( UMyn8W7b(rev # 169) | history )
  by Anonymous? at December 15, 2022 at 01:15:15
• UMyn8W7b ( UMyn8W7b(rev # 168) | history )
  by Anonymous? at December 14, 2022 at 23:54:49
• UMyn8W7b ( UMyn8W7b(rev # 167) | history )
  by Anonymous? at December 14, 2022 at 22:15:57
• UMyn8W7b ( UMyn8W7b(rev # 166) | history )
  by Anonymous? at December 14, 2022 at 18:25:40
• UMyn8W7b ( UMyn8W7b(rev # 165) | history )
  by Anonymous? at December 14, 2022 at 17:33:40
• UMyn8W7b ( UMyn8W7b(rev # 164) | history )
  by Anonymous? at December 14, 2022 at 12:36:43
• UMyn8W7b ( UMyn8W7b(rev # 163) | history )
  by Anonymous? at December 14, 2022 at 03:52:09
• UMyn8W7b ( UMyn8W7b(rev # 162) | history )
  by Anonymous? at December 13, 2022 at 13:00:27
• UMyn8W7b ( UMyn8W7b(rev # 161) | history )
  by Anonymous? at December 13, 2022 at 02:53:00
• UMyn8W7b ( UMyn8W7b(rev # 160) | history )
  by Anonymous? at December 12, 2022 at 19:06:49
• UMyn8W7b ( UMyn8W7b(rev # 159) | history )
  by Anonymous? at December 12, 2022 at 18:05:39
• UMyn8W7b ( UMyn8W7b(rev # 158) | history )
  by Anonymous? at December 9, 2022 at 21:13:57
• UMyn8W7b ( UMyn8W7b(rev # 157) | history )
  by Anonymous? at December 9, 2022 at 20:29:59
• UMyn8W7b ( UMyn8W7b(rev # 156) | history )
  by Anonymous? at December 9, 2022 at 18:04:15
• UMyn8W7b ( UMyn8W7b(rev # 155) | history )
  by Anonymous? at December 9, 2022 at 15:31:24
• UMyn8W7b ( UMyn8W7b(rev # 154) | history )
  by Anonymous? at December 9, 2022 at 13:59:42
• UMyn8W7b ( UMyn8W7b(rev # 153) | history )
  by Anonymous? at December 9, 2022 at 01:54:30
• UMyn8W7b ( UMyn8W7b(rev # 152) | history )
  by Anonymous? at December 9, 2022 at 00:30:04
• UMyn8W7b ( UMyn8W7b(rev # 151) | history )
  by Anonymous? at December 8, 2022 at 22:38:56
• UMyn8W7b ( UMyn8W7b(rev # 150) | history )
  by Anonymous? at December 8, 2022 at 12:51:07
• UMyn8W7b ( UMyn8W7b(rev # 149) | history )
  by Anonymous? at December 8, 2022 at 04:48:05
• UMyn8W7b ( UMyn8W7b(rev # 148) | history )
  by Anonymous? at December 8, 2022 at 02:59:09
• UMyn8W7b ( UMyn8W7b(rev # 147) | history )
  by Anonymous? at December 7, 2022 at 20:38:16
• UMyn8W7b ( UMyn8W7b(rev # 146) | history )
  by Anonymous? at December 7, 2022 at 16:02:59
• UMyn8W7b ( UMyn8W7b(rev # 145) | history )
  by Anonymous? at December 7, 2022 at 05:15:24
• UMyn8W7b ( UMyn8W7b(rev # 144) | history )
  by Anonymous? at December 7, 2022 at 04:14:09
• UMyn8W7b ( UMyn8W7b(rev # 143) | history )
  by Anonymous? at December 7, 2022 at 03:04:35
• UMyn8W7b ( UMyn8W7b(rev # 142) | history )
  by Anonymous? at December 7, 2022 at 02:27:09
• UMyn8W7b ( UMyn8W7b(rev # 141) | history )
  by Anonymous? at December 6, 2022 at 06:53:09
• UMyn8W7b ( UMyn8W7b(rev # 140) | history )
  by Anonymous? at December 6, 2022 at 06:16:28
• UMyn8W7b ( UMyn8W7b(rev # 139) | history )
  by Anonymous? at December 6, 2022 at 05:14:19
• UMyn8W7b ( UMyn8W7b(rev # 138) | history )
  by Anonymous? at December 6, 2022 at 03:26:21
• UMyn8W7b ( UMyn8W7b(rev # 137) | history )
  by Anonymous? at December 6, 2022 at 01:30:31
• UMyn8W7b ( UMyn8W7b(rev # 136) | history )
  by Anonymous? at December 5, 2022 at 21:12:11
• UMyn8W7b ( UMyn8W7b(rev # 135) | history )
  by Anonymous? at December 5, 2022 at 20:00:20
• UMyn8W7b ( UMyn8W7b(rev # 134) | history )
  by Anonymous? at December 5, 2022 at 18:47:02
• UMyn8W7b ( UMyn8W7b(rev # 133) | history )
  by Anonymous? at December 5, 2022 at 12:20:35
• UMyn8W7b ( UMyn8W7b(rev # 132) | history )
  by Anonymous? at December 5, 2022 at 04:40:31
• UMyn8W7b ( UMyn8W7b(rev # 131) | history )
  by Anonymous? at December 5, 2022 at 03:04:46
• UMyn8W7b ( UMyn8W7b(rev # 130) | history )
  by Anonymous? at December 5, 2022 at 01:04:30
• UMyn8W7b ( UMyn8W7b(rev # 129) | history )
  by Anonymous? at December 4, 2022 at 21:57:38
• UMyn8W7b ( UMyn8W7b(rev # 128) | history )
  by Anonymous? at December 4, 2022 at 20:50:27
• UMyn8W7b ( UMyn8W7b(rev # 127) | history )
  by Anonymous? at December 4, 2022 at 19:47:45
• UMyn8W7b ( UMyn8W7b(rev # 126) | history )
  by Anonymous? at December 4, 2022 at 19:11:25
• UMyn8W7b ( UMyn8W7b(rev # 125) | history )
  by Anonymous? at December 4, 2022 at 16:50:50
• UMyn8W7b ( UMyn8W7b(rev # 124) | history )
  by Anonymous? at December 1, 2022 at 23:26:46
• UMyn8W7b ( UMyn8W7b(rev # 123) | history )
  by Anonymous? at December 1, 2022 at 03:57:55
• UMyn8W7b ( UMyn8W7b(rev # 122) | history )
  by Anonymous? at December 1, 2022 at 03:04:45
• UMyn8W7b ( UMyn8W7b(rev # 121) | history )
  by Anonymous? at November 30, 2022 at 23:49:43
• UMyn8W7b ( UMyn8W7b(rev # 120) | history )
  by Anonymous? at November 30, 2022 at 22:10:02
• dependent type theory > history ( dependent type theory > history(rev # 8) | history )
  by Anonymous? at November 28, 2022 at 06:56:12
• UMyn8W7b ( UMyn8W7b(rev # 119) | history )
  by Anonymous? at November 28, 2022 at 04:13:14
• dependent type theory > history ( dependent type theory > history(rev # 7) | history )
  by Anonymous? at November 28, 2022 at 04:09:59
• homotopy type theory > history ( homotopy type theory > history(rev # 50) | history )
  by Anonymous? at November 28, 2022 at 04:08:03
• ETCS as a dependent type theory > history ( ETCS as a dependent type theory > history(rev # 2) | history )
  by Anonymous? at November 28, 2022 at 03:48:48