https://github.com/dlicata335/hott-agda
Raw File
Tip revision: dccc6507ccd337103e738a113831422f18dd64eb authored by emblack on 07 September 2017, 12:30:12 UTC
updated thesis source file
Tip revision: dccc650
.gitignore
*.aux
*.bbl
*.blg
*.dvi
*.log
*.toc
*.ps
*.pdf
*.synctex.gz
*.agdai
TAGS
*.mp
*.ptb
*.top
*.tui
*.lao
.DS_Store
back to top