Cube visualizer for cubical type theory https://mzhang.io/cubeviz/
Find a file
2024-10-02 20:56:14 -05:00
public initial 2024-10-01 19:16:16 -05:00
src experimenting with ortho 2024-10-02 20:56:14 -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 2024-10-01 20:00:02 -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.