Share :

vcvpaiva

Valeria de Paiva

@vcvpaiva

Cupertino, CA 🇺🇸

Refresh user

Last updated : 02:12PM UTC, Jun 24th 2021

34 - Rank 242 007 🌍

TeX

Ranking:

World: 1266 / 23502

United States of America 🇺🇸: 269 / 3651

Cupertino: 1 / 9

6 repositories

#1266
32

Agda

Ranking:

World: 275 / 349

United States of America 🇺🇸: 47 / 54

Cupertino: 1 / 1

1 repository

#275
1

Coq

Ranking:

World: 555 / 737

United States of America 🇺🇸: 125 / 161

Cupertino: 1 / 1

1 repository

#555
1