Shin-Cheng Mu

@scmu

🇹🇼 Taiwan

Academia Sinica

Profile age: over 10 years

Updated 9 days ago

52 followers • 0 following

Agda

N/A

Tiers are available for rankings with over 100 profiles.

Language Score: 139

Position: 1 / 7

Haskell

N/A

Tiers are available for rankings with over 100 profiles.

Language Score: 9

Position: 9 / 29

TeX

Adept 4

2 stars
to reach Adept 5

Position: 72 / 218

Language Score: 2

Top 40% of all ranked profiles

This month change: ↓1

Coq

N/A

Tiers are available for rankings with over 100 profiles.

Language Score: 1

Position: 4 / 13