groupoid/groupoid.space

🧊 Інститут формальної математики

语言：TeX · GitHub 星标：35 · Fork：9

话题：hit · induction · mltt · path · pi · sigma

在 GitHub 上查看原仓库