# cubeviz

Cubical type theory visualizer.