Block or report user
  • Joined on Aug 25, 2012

Popular repositories

  1. book

    Forked from HoTT/book

    A textbook on informal homotopy type theory

    Shell

  2. coq

    Forked from HoTT/coq

    Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

    OCaml

  3. newname

  4. test

  5. irIR

    Agda

  6. rpDS

256 contributions in the last year

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

Contribution activity First issue First repository Joined GitHub

December 2016

stephanalexanderspahn has no activity yet for this period.

November 2016

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