Share :

vlopezj

Víctor López Juan

@vlopezj

Göteborg, Sweden 🇸🇪

Refresh user

Last updated : 12:06AM UTC, Sep 19th 2021

34 - Rank 243 995 🌍

Coq

Ranking:

World: 75 / 737

Sweden 🇸🇪: 3 / 9

Gothenburg: 1 / 3

1 repository

#75
30

OCaml

Ranking:

World: 1569 / 3227

Sweden 🇸🇪: 19 / 39

Gothenburg: 5 / 8

1 repository

#1569
3

Makefile

Ranking:

World: 14173 / 15335

Sweden 🇸🇪: 166 / 172

Gothenburg: 11 / 11

1 repository

#14173
1