Top users by languages

Coq

Back to languages list
User MichaelBurge

Michael Burge

@MichaelBurge

#1
49

Organization GaloisInc

Galois, Inc.

@GaloisInc

#2
38

User langston-barrett

Langston Barrett

@langston-barrett

#3
34

User pnwamk

Andrew Kent

@pnwamk

#4
2

User andreistefanescu

Andrei Stefanescu

@andreistefanescu

#5
2

User jldodds

Joey Dodds

@jldodds

#6
2

User dogonthehorizon

Fernando Freire

@dogonthehorizon

#7
1