Personal blog
Updated 2024-10-21 11:42:25 +00:00
Cube visualizer for cubical type theory
Updated 2024-10-21 03:55:08 +00:00
Updated 2024-10-21 00:35:31 +00:00
Updated 2024-10-21 00:04:18 +00:00
Research
Updated 2024-10-20 23:02:19 +00:00
"Michael Zhang Web Services"
Updated 2024-10-20 19:22:39 +00:00
Updated 2024-10-20 01:11:17 +00:00
Updated 2024-10-17 23:48:32 +00:00
Updated 2024-10-17 17:45:21 +00:00
Updated 2024-10-11 23:57:58 +00:00
Updated 2024-09-28 01:32:49 +00:00
Updated 2024-09-26 17:49:30 +00:00
Updated 2024-09-14 06:39:03 +00:00
Plugin for processing Literate Agda files with Remark
Updated 2024-09-13 00:58:41 +00:00
Formalization of the HoTT Book using cubical agda
Updated 2024-09-12 05:43:35 +00:00
Attribute grammar
Updated 2024-09-01 13:35:17 +00:00
Updated 2024-08-27 22:09:57 +00:00
Updated 2024-08-22 17:04:47 +00:00
Updated 2024-08-22 04:34:22 +00:00
Updated 2024-08-21 21:41:23 +00:00