Share :

spidermoy

C. Moisés Vázquez Reyes

@spidermoy

Universidad Nacional Autónoma de México 🇲🇽

Refresh user

Last updated : 02:21AM UTC, Aug 19th 2021

10 - Rank 503 000 🌍

Haskell

Ranking:

World: 2824 / 11059

Mexico 🇲🇽: 4 / 21

Mexico City: 1 / 2

3 repositories

#2824
8

Coq

Ranking:

World: 381 / 737

Mexico 🇲🇽: 2 / 2

Mexico City: 1 / 1

2 repositories

#381
2