Badges

Hand-coded with love, bugs, and dreams bybrought to you by @maslianok

/holgerthies

Badges

Overview
Ranks
Repositories
Languages

Holger Thies

@holgerthies

🇯🇵 Kyoto, Japan

Kyoto University

Profile age: about 13 years

Updated about 16 hours ago

21 followers • 15 following

Contacts

http://www.holgerthies.com

Repositories

7

0

2

updated 4 months ago • age over 4 years

Coq84.2%

Haskell15.0%

Shell0.6%

HTML0.2%

6

1

updated over 5 years ago • age over 6 years

1

0

updated over 8 years ago • age about 10 years

C++99.7%

Makefile0.3%

continuous-machines

0

0

updated almost 6 years ago • age almost 6 years

Makefile100.0%

0

0

updated about 9 years ago • age over 9 years

TeX100.0%

Contributions

2020
incone
1 PR +45-5
Coq
1
2
2
2019
incone
3 PRs +13,894-372
Coq
1
2
2