开源雷达国内 GitHub 镜像站
加速通道已就绪 返回列表
全部项目

ice1k/ConsHoTT

Constructive Interpretations of HoTT

语言：TeX · GitHub 星标：36 · Fork：1

话题：agda · hott

在 GitHub 上查看原仓库

正在读取项目信息…