Rocq Prover Language Ranking in United States

Country:

Rank	Login	Location	Stars
1	jwiegley	🇺🇸 California, USA	895
2	achlipala	🇺🇸 Cambridge, MA	567
3	stepchowfun	🇺🇸 San Francisco, CA	299
4	tchajed	🇺🇸 Madison, WI	107
5	JasonGross	🇺🇸 Berkeley, California, United States	20
6	yuri-panchul	🇺🇸 United States	11
7	arthuraa	🇺🇸 Rochester, NY, USA	11
8	sweirich	🇺🇸 Philadelphia	9
9	abhinavnandwani	🇺🇸 Madison, WI	7
10	alpaylan	🇺🇸 Maryland, United States	4
11	CharlesAverill	🇺🇸 Dallas	2
12	nelhage	🇺🇸 San Francisco	1
13	anirudhSK	🇺🇸 New York City	1
14	lacker	🇺🇸 Piedmont, CA	1
15	ryanmaguire	🇺🇸 Boston, MA	1
16	matth2k	🇺🇸 Philly PA	1