Skip to content
Block or report user

Report or block anjapetkovic

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. Vaja

    Vaja na delavnici git


  2. snakes

    Forked from andrejbauer/snakes

    A tutorial on how to use Git (in Slovene).


  3. OPB14-15

    Forked from alenFMF/OPB14-15


  4. UniMath

    Forked from UniMath/UniMath

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



    User's personal website

    CSS 1

  6. spartan-type-theory

    Forked from andrejbauer/spartan-type-theory

    Spartan type theory


12 contributions in the last year

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

Contribution activity

March 2019

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

You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.