jonaprieto/hott-cheatsheets

Homotopy type theory cheatsheets

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

话题：cheatsheets · homotopy-type-theory · llm-assisted · type-theory

在 GitHub 上查看原仓库