Block or report user

Report or block jaycech3n

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Pinned repositories

  1. Isabelle-HoTT

    An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle

    Isabelle 15

295 contributions in the last year

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

Contribution activity

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