Block or report user

Popular repositories

  1. math

    Mathematical notes and papers

    TeX 7

  2. Foundations

    Forked from HoTT/Foundations

    Development of the univalent foundations of mathematics in Coq

    Coq 3

  3. HoTT

    Forked from HoTT/HoTT

    Homotopy type theory

    Coq 2

  4. Archive

    Forked from HoTT/Archive

    Archived materials related to Homotopy Type Theory.


  5. book

    Forked from HoTT/book

    A textbook on informal homotopy type theory

    TeX 1

  6. LambekPaper

    Lambek paper

    TeX 1

39 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

May 2018

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