Cube visualizer for cubical type theory https://mzhang.io/cubeviz/
Find a file
2024-10-19 20:06:16 -05:00
public initial 2024-10-01 19:16:16 -05:00
src fix issue with function order 2024-10-19 20:06:16 -05:00
.gitignore update 2024-10-01 20:00:02 -05:00
biome.json initial 2024-10-01 19:16:16 -05:00
bun.lockb update to save state into the hash 2024-10-19 19:59:22 -05:00
eslint.config.js initial 2024-10-01 19:16:16 -05:00
index.html initial 2024-10-01 19:16:16 -05:00
package.json update 2024-10-01 20:00:02 -05:00
README.md update 2024-10-01 20:00:02 -05:00
tsconfig.app.json initial 2024-10-01 19:16:16 -05:00
tsconfig.json initial 2024-10-01 19:16:16 -05:00
tsconfig.node.json initial 2024-10-01 19:16:16 -05:00
vite.config.ts update 2024-10-01 20:00:02 -05:00

cubeviz

Cubical type theory visualizer.