marcinjangrzybowski/cubeViz2

marcinjangrzybowski/cubeViz2 是 GitHub 上的开源项目。

语言：Haskell · GitHub 星标：32 · Fork：1

话题：agda · cubical-agda · cubical-type-theory · haskell · proof-asistant · vebxr · vr · webgl2

在 GitHub 上查看原仓库