Name		Name	Last commit message	Last commit date
_layouts		_layouts
assets		assets
1-culture-shock.md		1-culture-shock.md
10-Mechanical-verification.md		10-Mechanical-verification.md
11-More-than-allegory.md		11-More-than-allegory.md
12-Tags-and-dependencies.md		12-Tags-and-dependencies.md
13-Induction-meaning.md		13-Induction-meaning.md
14-Beyond-induction.md		14-Beyond-induction.md
15-Categorical-shift.md		15-Categorical-shift.md
16-Literatue-of-symbols.md		16-Literatue-of-symbols.md
2-The-mechanics-of-thought.md		2-The-mechanics-of-thought.md
3-The-architecture-of-types.md		3-The-architecture-of-types.md
4-The-geometry-of-proof.md		4-The-geometry-of-proof.md
5-The-verification-crisis.md		5-The-verification-crisis.md
6-Constructivism.md		6-Constructivism.md
7-Writing-as-self-debugging.md		7-Writing-as-self-debugging.md
8-The-physics-of-types.md		8-The-physics-of-types.md
9-Conceptual-thinking.md		9-Conceptual-thinking.md
LICENSE		LICENSE
README.md		README.md
about.md		about.md
index.md		index.md

Repository files navigation

Reflections on a Journey Through HoTT

Reflections on a Journey Through HoTT

Click here to read the compiled PDF

Homotopy Type Theory Project

About

Notes and thoughts on studying the HoTT book.

leandrocaniglia.github.io/hott-notes/

category-theory github-pages homotopy-type-theory hoot logic mathematics notes type-theory

CC-BY-4.0 license

1 star

0 watching

Report repository

Releases

Packages

Contributors

Languages