Top users by languages

Coq

Back to languages list
User achlipala

Adam Chlipala

@achlipala

#1
480

User tchajed

Tej Chajed

@tchajed

#2
450

Organization mit-pdos

MIT PDOS

@mit-pdos

#3
336

User JasonGross

Jason Gross

@JasonGross

#4
50

User anishathalye

Anish Athalye

@anishathalye

#5
4

Organization draperlaboratory

The Charles Stark Draper Laboratory, Inc.

@draperlaboratory

#6
2

User Keno

Keno Fischer

@Keno

#7
1

User bbarenblat

Benjamin Barenblat

@bbarenblat

#8
1