Share :

peterlefanulumsdaine

Peter LeFanu Lumsdaine

@peterlefanulumsdaine

Stockholm, Sweden 🇸🇪

Refresh user

Last updated : 02:32PM UTC, Jun 19th 2021

108 - Rank 114 131 🌍

Coq

Ranking:

World: 35 / 737

Sweden 🇸🇪: 1 / 9

Stockholm: 1 / 3

4 repositories

#35
58

Verilog

Ranking:

World: 369 / 4299

Sweden 🇸🇪: 6 / 25

Stockholm: 2 / 8

2 repositories

#369
19

Agda

Ranking:

World: 70 / 349

Sweden 🇸🇪: 6 / 10

Stockholm: 2 / 2

1 repository

#70
17

TeX

Ranking:

World: 2391 / 23502

Sweden 🇸🇪: 30 / 243

Stockholm: 10 / 87

2 repositories

#2391
14