Tags

Tags give the ability to mark specific points in history as being important

v0.1.9

1127a2b1 · [ 0.1.9 ] Closes · Aug 31, 2018

Release:
```
Closes #7 and minor improvements
```
v0.1.8

e29242c1 · Fix missing references. · Jun 01, 2018

Release:
```
Add categories chapter
```
v0.1.7

2fe5c50d · Fix typo, missing parenthesis in transport · May 31, 2018

Release:
v0.1.6

01b4dc15 · [ v0.1.6 ] Remove question marks (??). · May 09, 2018

Release:
v0.1.5

4fd0ca87 · Refactoring of latex files and narrowbreaklines · May 09, 2018

Release:
v0.1.4

ec6e7b3f · [ hott-equivalences ] Add introduction definitions · May 08, 2018

Release:
v0.1.3

2e44b13e · [ hott-formal.pdf ] Add the appendix: Formal type theory · May 08, 2018

Release:
v0.1.2

aac4470c · Add prefix hott-* · May 06, 2018

Release:
v0.1.1

87157bd7 · [ v0.1.1 ] Add Sets and logic (chapter 3) · May 05, 2018

Release:
v0.1.0

b7321fdc · [ basics ] Add lemmas/theorems and definitions · May 04, 2018

Release: