fredrik-bakke/forest

fredrik-bakke/forest 是 GitHub 上的开源项目。

语言：Shell · GitHub 星标：4 · Fork：0

话题：category-theory · dependent-type-theory · univalent-mathematics

在 GitHub 上查看原仓库