Zilin Chen

@zilinc

🇸🇬 Singapore

Profile age: over 11 years

Updated 12 days ago

10 followers • 8 following

Makefile

Advanced 2

1 star
to reach Advanced 3

Position: 197 / 889

Language Score: 2

Top 30% of all ranked profiles

Coq

N/A

Tiers are available for rankings with over 100 profiles.

Language Score: 2

Position: 8 / 13

Agda

N/A

Tiers are available for rankings with over 100 profiles.

Language Score: 1

Position: 2 / 2