Share :

rleiva

Rafael Garcia Leiva

@rleiva

Madrid, Spain 🇪🇸

Refresh user

Last updated : 03:41PM UTC, Jun 29th 2021

14 - Rank 416 413 🌍

Python

Ranking:

World: 92629 / 483868

Spain 🇪🇸: 967 / 4334

Madrid: 216 / 930

1 repository

#92629
11

Coq

Ranking:

World: 576 / 737

Spain 🇪🇸: 5 / 6

Madrid: 2 / 2

1 repository

#576
1

Jupyter Notebook

Ranking:

World: 71274 / 121062

Spain 🇪🇸: 691 / 1066

Madrid: 179 / 266

1 repository

#71274
1

TeX

Ranking:

World: 15035 / 23502

Spain 🇪🇸: 221 / 322

Madrid: 46 / 68

1 repository

#15035
1