Tag Info

coq Questions

146	3	Andrej Bauer 48.8k11 gold badges131 silver badges239 bronze badges
56	1	Enrico Tassi 5764 silver badges2 bronze badges
46	1	Timothy Chow 82.6k26 gold badges363 silver badges587 bronze badges
30	1	Nate Eldredge 29.7k4 gold badges101 silver badges150 bronze badges
27	1	gallais 4954 silver badges7 bronze badges
20	1	Neel Krishnaswami 9,2011 gold badge30 silver badges54 bronze badges
18	1	cody 1,45215 silver badges53 bronze badges
17	1	Christoph-Simon Senjak 7677 silver badges12 bronze badges
16	1	Neil Strickland 56.9k7 gold badges142 silver badges262 bronze badges
12	2	joro 25.4k10 gold badges66 silver badges121 bronze badges
9	1	Ana Borges 1912 bronze badges
9	2	David Roberts♦ 35.4k11 gold badges124 silver badges349 bronze badges
8	1	François G. Dorais 44.4k6 gold badges150 silver badges233 bronze badges
8	1	Stefan Geschke 16.2k2 gold badges54 silver badges82 bronze badges
8	1	Andreas Blass 73.1k8 gold badges191 silver badges290 bronze badges
8	1	Patrick Massot 5665 silver badges8 bronze badges
6	1	Julien Puydt 2,0541 gold badge22 silver badges23 bronze badges
5	1	Lawrence Paulson 5796 silver badges11 bronze badges
5	1	Reid Barton 25.2k1 gold badge76 silver badges133 bronze badges
4	1	Gro-Tsen 32.5k5 gold badges86 silver badges372 bronze badges

110	3	David Roberts♦ 35.4k11 gold badges124 silver badges349 bronze badges
104	2	Nate Eldredge 29.7k4 gold badges101 silver badges150 bronze badges
52	1	darij grinberg 33.8k4 gold badges118 silver badges253 bronze badges
45	1	Software enthusiast 4594 silver badges5 bronze badges
18	1	Hexirp 3252 silver badges10 bronze badges
12	1	Dan Arnon 1213 bronze badges
8	3	joro 25.4k10 gold badges66 silver badges121 bronze badges
5	1	Langston 1535 bronze badges
4	1	user97621 1131 silver badge5 bronze badges

Only non community-wiki questions and answers are included in these totals (updated daily)