| .. |
|
CubicalHott
|
waht
|
2023-12-22 10:20:33 -06:00 |
|
HottBook
|
exercise
|
2024-05-17 19:35:46 -05:00 |
|
2022-10-03-notes.lagda.md
|
wtf
|
2022-10-13 01:53:13 -05:00 |
|
2022-10-10-notes.lagda.md
|
agda bug
|
2023-08-05 05:58:45 -04:00 |
|
2023-04-03-more-ch2.agda
|
Add some notes
|
2023-05-08 18:56:59 -05:00 |
|
2023-05-06-equiv.lagda.md
|
Updates
|
2023-05-15 14:18:14 -05:00 |
|
2023-05-14-biinv-equiv.agda
|
idk what this progress was but here's progress
|
2023-05-18 00:42:57 -05:00 |
|
2023-05-15-equiv-try-again.agda
|
idk what this progress was but here's progress
|
2023-05-18 00:42:57 -05:00 |
|
2023-05-17-equiv-no-cubical.agda
|
wip 2.13
|
2023-05-17 04:53:06 -05:00 |
|
2023-08-05-scratchpad.agda
|
agda bug
|
2023-08-05 05:58:45 -04:00 |
|
2023-10-05-bidir.agda
|
bidir paper
|
2023-10-06 02:22:44 -04:00 |
|
2023-11-27-asdf.agda
|
waht
|
2023-12-22 10:20:33 -06:00 |
|
2023-12-21-some-group-theory-shit.agda
|
waht
|
2023-12-22 10:20:33 -06:00 |
|
2024-05-09-perry-meeting.agda
|
update
|
2024-05-16 09:35:08 -05:00 |
|
ApPractice.agda
|
stuff from last week
|
2023-03-15 19:04:17 -05:00 |
|
Ch2.agda
|
agda bug
|
2023-08-05 05:58:45 -04:00 |
|
Ch6.agda
|
stuff from last week
|
2023-03-15 19:04:17 -05:00 |
|
Ch6HoTT.agda
|
stuff from last week
|
2023-03-15 19:04:17 -05:00 |
|
CircleFundamentalGroup.agda
|
commit
|
2023-04-10 13:39:17 -05:00 |
|
CircleThing2.agda
|
commit
|
2023-04-10 13:39:17 -05:00 |
|
Divergence.agda
|
ice
|
2023-02-23 04:20:35 -06:00 |
|
HIT.agda
|
update
|
2022-10-31 16:05:18 -05:00 |
|
Lemma641.agda
|
identity proof
|
2022-11-22 16:56:52 -06:00 |
|
Path2.lagda.md
|
upd
|
2023-03-24 16:51:16 -05:00 |
|
Simple.agda
|
Add some notes
|
2023-05-08 18:56:59 -05:00 |
|
jasontime.agda
|
ice
|
2023-02-23 04:20:35 -06:00 |
|
loopspace.agda
|
update
|
2022-10-31 16:05:18 -05:00 |
|
main.agda
|
wtf
|
2022-10-13 01:53:13 -05:00 |
Michael Zhang
8658b6a2f5