Share :

unaoya

Naoya Umezaki

@unaoya

Tokyo 🇯🇵

Refresh user

Last updated : 01:12AM UTC, Sep 4th 2021

20 - Rank 336 607 🌍

TeX

Ranking:

World: 2084 / 23502

Japan 🇯🇵: 37 / 374

Tokyo: 20 / 176

3 repositories

#2084
17

Coq

Ranking:

World: 464 / 737

Japan 🇯🇵: 21 / 36

Tokyo: 9 / 16

1 repository

#464
2

Jupyter Notebook

Ranking:

World: 102385 / 121062

Japan 🇯🇵: 1171 / 1291

Tokyo: 590 / 648

1 repository

#102385
1