This repository contains a library of definitions and theorems in HoTT: an Univalent Foundation. It also have a documentation of the textbook, going pages by pages.
niklaslauffer/HoTT-Arend
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
This repository contains a library of definitions and theorems in HoTT: an Univalent Foundation. It also have a documentation of the textbook, going pages by pages.