Block or report user

Report or block peterlefanulumsdaine

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Pinned repositories

  1. hott-limits

    A formalization of (homotopy) limits in Homotopy Type Theory

    Coq 8 1

  2. HoTT

    Forked from HoTT/HoTT

    Homotopy type theory

    Coq 2

  3. UniMath

    Forked from UniMath/UniMath

    This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

    Coq

883 contributions in the last year

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

Contribution activity

November 2018

32 contributions in private repositories Nov 5 – Nov 13

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