Skip to content

/homotopy-type-theory-course

Permalink
Branch: master
Commits on Apr 15, 2019

  1. Merge branch 'master' of github.com:andrejbauer/homotopy-type-theory-…

    @andrejbauer
    andrejbauer committed Apr 15, 2019 
    …course
    c1fa445

Seeing something unexpected? Take a look at the GitHub commits guide.

You can’t perform that action at this time.