Coq
#1 104
#2 98
#3 57
#4 20
#5 17
#6 13
#7 12
#8 9
#9 6
#10 4
#11 4
#12 3
#13 2
#14 1
#15 1
#16 1
#17 1