Block or report user

Report or block cathlelay

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Organizations

@UniMath

Popular repositories

  1. UniMath

    Forked from UniMath/UniMath

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

    Coq 1

  2. dedekind-reals

    Forked from andrejbauer/dedekind-reals

    A formalization of the Dedekind reals in Coq

    Coq

0 contributions in the last year

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

Contribution activity

January - October 2018

cathlelay has no activity yet for this period.

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