EgbertRijke/HoTT-Rosetta

Pairing natural language of the intro to HoTT book with agda formalization

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

在 GitHub 上查看原仓库