Block or report user

Report or block JUrban

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. MPTP2

    Prolog 13 2

  2. xsl4mizar

    XSLT 6 3

  3. ott2miz

    Emacs Lisp 5 2

  4. MMLLicense

    Licensing for the Mizar Mathematical Library

    TeX 4 1

  5. deepmath

    deep learning for math

    Perl 4 2

  6. mizarmode


    Emacs Lisp 3 3

172 contributions in the last year

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

Contribution activity

July 2018

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