langston-barrett/reed-thesis

My undergradate thesis on coinductive types in univalent type theory

语言：TeX · GitHub 星标：17 · Fork：0

话题：category-theory · mathematics · thesis · type-theory · unimath · univalence · univalent-foundations

在 GitHub 上查看原仓库