Tag Info

coq Questions

147	3	Andrej Bauer 48k11 gold badges125 silver badges234 bronze badges
54	1	Enrico Tassi 5564 silver badges2 bronze badges
45	1	Timothy Chow 78.3k24 gold badges350 silver badges563 bronze badges
26	1	Nate Eldredge 29.2k4 gold badges101 silver badges146 bronze badges
25	1	gallais 4553 silver badges6 bronze badges
18	1	Neel Krishnaswami 9,0131 gold badge28 silver badges54 bronze badges
17	1	Christoph-Simon Senjak 7577 silver badges12 bronze badges
17	1	cody 1,14013 silver badges48 bronze badges
16	1	Neil Strickland 55k7 gold badges140 silver badges254 bronze badges
12	2	joro 24.2k10 gold badges64 silver badges117 bronze badges
9	1	Ana Borges 1912 bronze badges
9	1	François G. Dorais 43.7k6 gold badges144 silver badges228 bronze badges
9	2	David Roberts♦ 33.9k11 gold badges115 silver badges327 bronze badges
8	1	Stefan Geschke 16.3k2 gold badges53 silver badges80 bronze badges
8	1	Patrick Massot 5465 silver badges8 bronze badges
8	1	Andreas Blass 72.3k8 gold badges186 silver badges286 bronze badges
6	1	Julien Puydt 2,0131 gold badge22 silver badges22 bronze badges
5	1	Lawrence Paulson 5316 silver badges11 bronze badges
5	1	Reid Barton 24.9k1 gold badge74 silver badges132 bronze badges
4	1	Philip JF 1413 bronze badges

108	3	David Roberts♦ 33.9k11 gold badges115 silver badges327 bronze badges
101	2	Nate Eldredge 29.2k4 gold badges101 silver badges146 bronze badges
52	1	darij grinberg 33.2k4 gold badges113 silver badges248 bronze badges
45	1	Software enthusiast 4594 silver badges5 bronze badges
19	1	Hexirp 3352 silver badges10 bronze badges
12	1	Dan Arnon 1213 bronze badges
7	3	joro 24.2k10 gold badges64 silver badges117 bronze badges
5	1	Langston 1535 bronze badges
4	1	user97621 1135 bronze badges

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