Cube visualizer for cubical type theory
Updated 2024-10-21 03:55:08 +00:00
Updated 2024-10-21 00:04:18 +00:00
Updated 2024-10-20 01:11:17 +00:00
Updated 2024-10-17 23:48:32 +00:00
Updated 2024-10-11 23:57:58 +00:00
Updated 2024-09-28 01:32:49 +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
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