michael/cubeviz
1
0
Fork 0
Code Issues 2 Pull requests Projects Releases Packages Wiki Activity Actions
cubeviz/README.md

3 lines
42 B
Markdown
Raw Normal View History

update
2024-10-02 01:00:02 +00:00
# cubeviz
initial
2024-10-02 00:16:16 +00:00
update
2024-10-02 01:00:02 +00:00
Cubical type theory visualizer.
Reference in a new issue Copy permalink