GitHub - emilyriehl/721: Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021

Welcome to Math 721: Homotopy Type Theory, a graduate topics course taught at Johns Hopkins in Fall 2021. Course materials will eventually appear here.

Name		Name	Last commit message	Last commit date
.gitignore		.gitignore
721lectures.pdf		721lectures.pdf
721lectures.tex		721lectures.tex
721projects.pdf		721projects.pdf
721projects.tex		721projects.tex
721syllabus.pdf		721syllabus.pdf
721syllabus.tex		721syllabus.tex
README.md		README.md
agda-commands.txt		agda-commands.txt
exercises1.agda		exercises1.agda
exercises10.agda		exercises10.agda
exercises2.agda		exercises2.agda
exercises3.agda		exercises3.agda
exercises4.agda		exercises4.agda
exercises5.agda		exercises5.agda
exercises6.agda		exercises6.agda
exercises7.agda		exercises7.agda
exercises8.agda		exercises8.agda
exercises9.agda		exercises9.agda
introduction-live.agda		introduction-live.agda
introduction.agda		introduction.agda

Navigation Menu

Repository navigation

About

Repository files navigation

About

Releases

Packages

Contributors

Languages

Latest commit

History

Folders and files

Repository files navigation

About

Resources

Stars

Watchers

Forks

Releases

Packages

Contributors

Languages