Share :

tlringer

Talia Ringer

@tlringer

Seattle, WA 🇺🇸

Refresh user

Last updated : 07:01PM UTC, Jun 25th 2021

15 - Rank 401 549 🌍

TeX

Ranking:

World: 2559 / 23502

United States of America 🇺🇸: 512 / 3651

Seattle: 23 / 169

1 repository

#2559
13

Coq

Ranking:

World: 564 / 737

United States of America 🇺🇸: 128 / 161

Seattle: 8 / 9

1 repository

#564
1

OCaml

Ranking:

World: 2379 / 3227

United States of America 🇺🇸: 515 / 675

Seattle: 33 / 39

1 repository

#2379
1