Share :

tzskp1

Kazunari Tanaka

@tzskp1

Nagoya, Japan 🇯🇵

Refresh user

Last updated : 07:12PM UTC, Jul 13th 2021

2 - Rank 1 083 755 🌍

Coq

Ranking:

World: 606 / 737

Japan 🇯🇵: 32 / 36

Nagoya: 2 / 3

1 repository

#606
1

OCaml

Ranking:

World: 2615 / 3227

Japan 🇯🇵: 125 / 139

Nagoya: 2 / 2

1 repository

#2615
1