Share :

vincentjzimmer

Vincent Zimmer

@vincentjzimmer

Seattle, WA 🇺🇸

Refresh user

Last updated : 12:39AM UTC, Nov 25th 2021

18 - Rank 361 044 🌍

No language

Ranking:

World: 31288 / 531811

United States of America 🇺🇸: 4337 / 43420

Seattle: 199 / 1775

1 repository

#31288
16

Coq

Ranking:

World: 734 / 737

United States of America 🇺🇸: 161 / 161

Seattle: 9 / 9

1 repository

#734
1

OCaml

Ranking:

World: 3208 / 3227

United States of America 🇺🇸: 670 / 675

Seattle: 39 / 39

1 repository

#3208
1