Vladimir Gladshtein

@volodeyka

🇸🇬 Singapore

National University of Singapore

Profile age: about 6 years

Updated 4 days ago

40 followers • 14 following

Coq

N/A

Tiers are available for rankings with over 100 profiles.

Language Score: 17

Position: 2 / 13

Makefile

Advanced 2

1 star
to reach Advanced 3

Position: 189 / 889

Language Score: 2

Top 30% of all ranked profiles

Dafny

N/A

Tiers are available for rankings with over 100 profiles.

Language Score: 1

Position: 2 / 2