Block or report user

Report or block Chgrau

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

  2. RustyLife

    An simple implementation of Game of Life in Rust.

    Rust

26 contributions in the last year

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

Contribution activity

October - November 2018

Chgrau has no activity yet for this period.

September 2018

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