hott-thesis
Homotopy Type Theory as an Alternative Foundation to Mathematics
The paper is named hott-thesis and the slide deck is named hott-thesis-presentation.
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.
Sign up| Type | Name | Latest commit message | Commit time |
|---|---|---|---|
| Failed to load latest commit information. | |||
|
|
README.md | ||
|
|
hott-thesis-presentation.pdf | ||
|
|
hott-thesis-presentation.tex | ||
|
|
hott-thesis.bib | ||
|
|
hott-thesis.pdf | ||
|
|
hott-thesis.tex | ||
Homotopy Type Theory as an Alternative Foundation to Mathematics
The paper is named hott-thesis and the slide deck is named hott-thesis-presentation.