Badges

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

/mathink

Badges

Overview
Ranks
Repositories
Languages

m

@mathink

🇯🇵 Japan

Profile age: over 13 years

Updated 15 days ago

11 followers • 1 following

Contacts

mathink07@gmail.com

http://www.mathink.net

Repositories

13

0

updated almost 7 years ago • age about 12 years

HTML88.9%

Coq9.9%

Makefile0.7%

CSS0.5%

Shell0.0%

Contributions

2013
gijinka
1 PR +0-0
24
2