Block or report user

Popular repositories

  1. HoTT

    Forked from mikeshulman/HoTT

    Homotopy type theory

    Verilog 1

  2. Cohesion

    homotopy type theory code for cohesive infinity-toposes


0 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Mon Wed Fri

Contribution activity First repository Joined GitHub

January - November 2017

UrsSchreiber has no activity yet for this period.

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