3 lines
No EOL
42 B
Markdown
3 lines
No EOL
42 B
Markdown
# cubeviz
|
|
|
|
Cubical type theory visualizer. |