Share :

eernstg

Erik Ernst

@eernstg

Aarhus, Denmark 🇩🇰

Refresh user

Last updated : 06:50AM UTC, Jun 23rd 2021

28 - Rank 275 572 🌍

Dart

Ranking:

World: 2702 / 30052

Denmark 🇩🇰: 8 / 50

Aarhus: 3 / 9

1 repository

#2702
27

Coq

Ranking:

World: 547 / 737

Denmark 🇩🇰: 11 / 13

Aarhus: 8 / 8

1 repository

#547
1