No description, website, or topics provided.
TeX Lean
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
code
.gitignore
LICENSE
README.md
hott.tex
intro.tex
lean.tex
main.tex
minted.sty
nat.tex
outro.tex
references.bib
types.tex

README.md

Code and TeX files of my master's thesis with the title

Formalization of Non-Abelian Algebraic Topology

The pdf version of the thesis can be found here, you need the pygments package and XeTeX