Youyou Cong

@YouyouCong

🇯🇵 Tokyo, Japan

Institute of Science Tokyo

Profile age: over 9 years

Updated 3 days ago

73 followers • 0 following

Agda

Expert 1

4 stars
to reach Expert 2

Position: 55 / 457

Language Score: 45

Top 20% of all ranked profiles

This month change: ↓1

OCaml

Advanced 3

4 stars
to reach Advanced 4

Position: 629 / 3.4K

Language Score: 25

Top 20% of all ranked profiles

This month change: ↑18