Skip to content

/Schools

Permalink
Branch: master
Commits on Apr 4, 2019

  1. Merge branch 'master' of github.com:UniMath/Schools

    @andrejbauer
    andrejbauer committed Apr 4, 2019
    Loading status checks…
    f3c7d6c

  2. Exercises about images of maps and `∑` vs. `∃`, given by Martín Escardó.

    @andrejbauer
    andrejbauer committed Apr 4, 2019
    1d7c96c
Commits on Apr 1, 2019

  1. Merge branch 'master' of github.com:UniMath/Schools

    @andrejbauer
    andrejbauer committed Apr 1, 2019
    Loading status checks…
    f5f8600

  2. Slides for the talk on spartan type theory

    @andrejbauer
    andrejbauer committed Apr 1, 2019
    cabba8a

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

You can’t perform that action at this time.