Block or report user

Report or block kzt-ysmr

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. agda-bar-induction

    Forked from jonsterling/agda-bar-induction

    Agda

  2. agda-prelude

    Forked from UlfNorell/agda-prelude

    Programming library for Agda

    Agda

4 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

kzt-ysmr has no activity yet for this period.

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