Vladimir Gladshtein

@volodeyka

🇸🇬 Singapore

National University of Singapore

Profile age: about 6 years

Updated 4 days ago

40 followers • 14 following

Coq

Expert 2

2 stars
to reach Expert 3

Position: 145 / 1.4K

Language Score: 17

Top 20% of all ranked profiles

Makefile

Adept 4

1 star
to reach Adept 5

Position: 45,233 / 144.4K

Language Score: 2

Top 40% of all ranked profiles

This month change: ↓94

Dafny

N/A

Tiers are available for rankings with over 100 profiles.

Language Score: 1

Position: 42 / 58