Michael Zhang 4c9a94414d example 3.1.9		2024-07-09 10:24:54 -05:00
..
CubicalHott	test	2024-07-02 22:11:27 -05:00
HottBook	example 3.1.9	2024-07-09 10:24:54 -05:00
HoTTEST/Agda	ex2	2024-06-25 16:46:47 -05:00
MayConcise	add hottest material	2024-06-17 10:59:52 -04:00
Misc	move old shit	2024-05-23 09:53:45 -05:00
VanDoornDissertation	add CCHM	2024-06-03 00:10:40 -04:00
CEKCoinductive.agda	test	2024-07-02 22:11:27 -05:00
Hurewicz.agda	test	2024-07-02 22:11:27 -05:00