Commit graph

Select branches

Hide pull requests

ci

master

2024-grads-talk-rev1

Mono Color

• ea7085c26d exact sequences master Michael Zhang 2024-11-05 04:04:25 -0600
• 90f76baca0 solve the second part too, closes #48 Michael Zhang 2024-11-05 03:25:30 -0600
• 57ce453194 prove that n is surjective in the five lemma, closes #47 Michael Zhang 2024-11-05 01:16:13 -0600
• e02f49c46d wip Michael Zhang 2024-11-05 01:08:16 -0600
• fd9f01f914 wip on five lemma and exact sequences Michael Zhang 2024-11-04 21:26:26 -0600
• a959efa0b6 wip Michael Zhang 2024-11-04 11:04:59 -0600
• 38b152a9a4 wip Michael Zhang 2024-11-03 00:48:30 -0500
• 173e6d4bbf wip Michael Zhang 2024-11-02 14:48:30 -0500
• 604a5045c4 wip Michael Zhang 2024-11-01 12:58:35 -0500
• d17901e7d6 wip Michael Zhang 2024-10-23 10:42:13 -0500
• ca5e41e464 give up on the corollary-equiv 3.5.1 for now Michael Zhang 2024-10-21 02:34:42 -0500
• 26ea102563 pushing all my code from desktop Michael Zhang 2024-11-01 11:07:57 -0500
• 1eb6441aa0 succ str on N x fib, closes #37 Michael Zhang 2024-10-28 20:20:57 -0500
• 4c435f3764 exercise 3.5, closes #44 Michael Zhang 2024-10-28 18:56:55 -0500
• fd5b32c47f update Michael Zhang 2024-10-20 18:02:02 -0500
• 2b9e0402bf update tokei Michael Zhang 2024-10-20 14:11:17 -0500
• 61ad096640 wip Michael Zhang 2024-10-20 14:10:03 -0500
• aa460fd5af solve case 1 of theorem 7.1.11 Michael Zhang 2024-10-20 13:44:09 -0500
• 136d9f67c3 proved theorem 7.1.10, closes #34 Michael Zhang 2024-10-20 03:06:06 -0500
• 607d75a99a solved lemma 3.11.4, closes #41 Michael Zhang 2024-10-20 02:54:06 -0500
• d15eefb625 wip Michael Zhang 2024-10-19 16:56:23 -0500
• 1aeebb0c39 demo Michael Zhang 2024-10-18 10:51:15 -0500
• 33fd54309a update Michael Zhang 2024-10-18 10:08:37 -0500
• 27d2849922 changes Michael Zhang 2024-10-18 08:21:49 -0500
• 3ff4ca9fc4 notes Michael Zhang 2024-10-17 14:15:19 -0500
• 1a874e1e59 ? Michael Zhang 2024-10-16 18:00:55 -0500
• f146d0c6ab wip Michael Zhang 2024-10-17 14:11:30 -0500
• 4899cda158 work Michael Zhang 2024-10-17 12:20:01 -0500
• d1ace49ccb ? Michael Zhang 2024-10-16 18:00:55 -0500
• 7ac0b68384 update makefile Michael Zhang 2024-10-16 17:56:38 -0500
• d2d19f42bd progress Michael Zhang 2024-10-16 17:50:43 -0500
• 009304a28d fix incorrect types Michael Zhang 2024-10-16 17:45:16 -0500
• 55611cdb30 update talk Michael Zhang 2024-10-16 17:35:42 -0500
• edf2393c2f updates Michael Zhang 2024-10-16 16:04:54 -0500
• 140819d511 more work on the talk 2024-grads-talk-rev1 Michael Zhang 2024-10-16 01:28:30 -0500
• 3380b38037 add initial ci file ci Michael Zhang 2024-10-15 23:44:39 -0500
• 196eeec6e2 step 1 Michael Zhang 2024-10-15 23:13:53 -0500
• e0c0e56967 solve demo file Michael Zhang 2024-10-15 14:31:10 -0500
• a56ff16ed9 talk Michael Zhang 2024-10-15 14:27:27 -0500
• 74ddb6fd94 move Michael Zhang 2024-10-15 10:51:47 -0500
• 84bd2a2b85 wip lemma 4.1.5 Michael Zhang 2024-10-15 01:29:02 -0500
• e64326c1c3 LES Michael Zhang 2024-10-15 00:02:07 -0500
• ce6a6f734a remove existing stuff Michael Zhang 2024-10-15 00:00:27 -0500
• 45fa777765 closes #31 Michael Zhang 2024-10-14 23:53:52 -0500
• 4ef8cf0dc2 closes #33 Michael Zhang 2024-10-14 23:33:54 -0500
• 750e9a218b closes #30 Michael Zhang 2024-10-14 21:10:08 -0500
• ba99d0714b wtf Michael Zhang 2024-10-14 20:35:07 -0500
• 7d6635dcaa wip Michael Zhang 2024-10-14 19:57:58 -0500
• c1bc1659c4 some work Michael Zhang 2024-10-12 00:03:02 -0500
• 65f9ec18c5 LES definition similar to the one used by Floris, closes #25 Michael Zhang 2024-10-10 04:41:21 -0500
• 705372bd9c wip Michael Zhang 2024-10-08 04:47:55 -0500
• 78fe433b0d complete this for now Michael Zhang 2024-10-02 20:32:00 -0500
• fe2eedeed2 agda (Agda version 2.7.0) hangs on src/CubicalHott/Theorem8-1.agda Michael Zhang 2024-10-02 18:42:04 -0500
• 2745850cfd wip Michael Zhang 2024-10-02 04:04:24 -0500
• 085f146252 wip Michael Zhang 2024-10-02 01:43:05 -0500
• aba838f901 more proofs Michael Zhang 2024-09-27 13:50:18 -0500
• dcfc5e58f4 wip Michael Zhang 2024-09-26 14:18:52 -0500
• e415340890 add Michael Zhang 2024-09-25 14:26:08 -0500
• 922455701b exercises3 Michael Zhang 2024-09-25 14:25:20 -0500
• 4f2c25cf44 6.4.2 Michael Zhang 2024-09-24 23:59:10 -0500
• 056d9fd2e8 prove 6.4.1 Michael Zhang 2024-09-24 23:39:38 -0500
• 43cad1c4bd prove example 3.1.9 Michael Zhang 2024-09-24 22:33:54 -0500
• 72f0d83a53 add lemma 6.5.1 Michael Zhang 2024-09-20 15:32:02 -0500
• 9e1da47565 wip Michael Zhang 2024-09-18 06:44:37 -0500
• 81fb1d0c77 wtf Michael Zhang 2024-09-15 19:39:17 -0500
• c1788c20fb a Michael Zhang 2024-09-05 11:29:34 +0200
• 8ecbcefe92 cubical stuff Michael Zhang 2024-08-06 22:30:02 -0400
• 1a06c10bb5 updates Michael Zhang 2024-09-15 17:39:30 -0500
• f10e3a09b9 wtf Michael Zhang 2024-08-23 21:02:47 -0500
• 73a58bd2c2
  
  ch2 Michael Zhang 2024-08-23 20:18:40 -0500
• c84f1f8958
  
  add pierce book Michael Zhang 2024-08-21 11:15:11 -0500
• 1c5a7e692e susp Michael Zhang 2024-08-15 14:05:11 -0500
• 7ebaf615b0 the cubical stuff Michael Zhang 2024-08-15 04:40:01 -0500
• 040a68bc2a wip Michael Zhang 2024-08-09 04:55:32 -0500
• 12beca17dc remove existing Michael Zhang 2024-08-09 04:28:50 -0500
• e0f6ba0477 remove cubical hott folder Michael Zhang 2024-08-06 17:13:37 -0400
• 491b1b87b0 wip Michael Zhang 2024-08-05 11:17:04 -0400
• 3ffdaf1fcb updates Michael Zhang 2024-08-01 02:36:13 -0500
• e41548a6f9 update Michael Zhang 2024-07-30 09:29:03 -0500
• e2212f7999 update Michael Zhang 2024-07-27 22:20:41 -0500
• 5d3ebb119b wip Michael Zhang 2024-07-26 23:24:51 -0500
• a0906b6bff update Michael Zhang 2024-07-26 23:22:29 -0500
• c8ddc593bc nya Michael Zhang 2024-07-25 07:31:02 -0500
• 50d8ce8453 wip Michael Zhang 2024-07-25 05:28:30 -0500
• a2dbafb324 wip Michael Zhang 2024-07-24 21:18:10 -0500
• acbb85481f exercise 2.4 Michael Zhang 2024-07-24 21:16:47 -0500
• 94609e69f9 wip Michael Zhang 2024-07-22 14:43:05 -0500
• 3763a1f062 yak shaving Michael Zhang 2024-07-22 14:43:01 -0500
• 61dc53cf32 wip 2.7.4 Michael Zhang 2024-07-21 14:45:33 -0500
• fabb22e855 2.4.8 Michael Zhang 2024-07-21 14:20:19 -0500
• 4af035f713 agda hangs with 2.6.4.1 on Chapter2 Michael Zhang 2024-07-21 14:12:39 -0500
• e475a6c685 exercises Michael Zhang 2024-07-18 11:51:26 -0500
• 4e2c2962e6 add rewriting Michael Zhang 2024-07-17 12:52:29 -0500
• 343851128a font Michael Zhang 2024-07-15 11:44:17 -0500
• 02c0455505 initial ch7 Michael Zhang 2024-07-17 23:25:57 -0400
• c6bc5bd952 more wip on ch 6 Michael Zhang 2024-07-16 18:19:39 -0400
• 730eeffd75 updates Michael Zhang 2024-07-16 17:44:26 -0400
• 00f02ba1ca 6.4.1 Michael Zhang 2024-07-16 16:41:37 -0400
• c16fcb2217 wip Michael Zhang 2024-07-14 17:59:07 -0400
• 21b96f236c 6.3.2 Michael Zhang 2024-07-14 12:54:06 -0400