Share :

holgerthies

Holger Thies

@holgerthies

Kyoto, Japan 🇯🇵

Refresh user

Last updated : 01:55PM UTC, Jul 11th 2021

5 - Rank 707 980 🌍

C++

Ranking:

World: 69849 / 201315

Japan 🇯🇵: 1517 / 3152

Kyoto: 116 / 271

3 repositories

#69849
3

Coq

Ranking:

World: 603 / 737

Japan 🇯🇵: 31 / 36

Kyoto: 4 / 4

1 repository

#603
1

Makefile

Ranking:

World: 10839 / 15335

Japan 🇯🇵: 332 / 421

Kyoto: 21 / 32

1 repository

#10839
1