m

@mathink

🇯🇵 Japan

Profile age: over 13 years

Updated 15 days ago

11 followers • 1 following

Rank in Japan

Beginner 4

Persona

Creator

#11,129

#22,086

#15,256

Top 3 Languages By Stars

updated almost 7 years ago • age about 12 years

HTML88.9%

Coq9.9%

Makefile0.7%

CSS0.5%

Shell0.0%

Subscribe to mathink's GitHub rank updates in your messenger