Isaac-Ling/Lingo
An implementation of Martin-Löf Type Theory (MLTT) with a Homotopy Type Theory/Univalent Foundations (HoTT/UF) prelude, following closely to the HoTT/UF book (The Univalent Foundations Program, 2013).
正在读取项目信息…
开源雷达国内 GitHub 镜像站
加速通道已就绪
返回列表