Tag Info

coq Questions

126	10	Andrej Bauer 28.3k1 gold badge80 silver badges130 bronze badges
115	7	Neel Krishnaswami 32.4k1 gold badge100 silver badges165 bronze badges
67	8	cody 13.7k1 gold badge47 silver badges99 bronze badges
60	5	Dave Clarke 16.7k3 gold badges60 silver badges106 bronze badges
59	5	Gilles 'SO- stop being evil' 2,6671 gold badge27 silver badges35 bronze badges
30	1	Marc 6464 silver badges6 bronze badges
18	1	Danko Ilik 1812 bronze badges
16	2	gallais 6354 silver badges14 bronze badges
15	1	Makarius 4354 silver badges10 bronze badges
14	1	Jasper Hugunin 2562 silver badges4 bronze badges
14	1	Marcin Kotowski 2,80619 silver badges25 bronze badges
13	2	Dominic Mulligan 8379 silver badges15 bronze badges
12	1	Colin Gordon 4714 silver badges9 bronze badges
10	2	gasche 2,0401 gold badge16 silver badges16 bronze badges
10	1	Martin Berger 11.4k3 gold badges39 silver badges71 bronze badges
8	2	Konstantin Weitz 2041 silver badge3 bronze badges
7	1	Jake 1,1416 silver badges20 bronze badges
6	1	Jan Tušil 1762 bronze badges
6	1	L. Garde 1761 bronze badge
6	1	Stefan 3902 silver badges9 bronze badges

67	2	Dave Clarke 16.7k3 gold badges60 silver badges106 bronze badges
45	2	Konstantin Solomatov 1,76211 silver badges20 bronze badges
25	1	Colin Gordon 4714 silver badges9 bronze badges
25	1	Steve 2512 silver badges3 bronze badges
24	1	Mark Reitblatt 1,69015 silver badges20 bronze badges
23	1	day 2,7651 gold badge20 silver badges26 bronze badges
20	1	Rui Baptista 3031 silver badge5 bronze badges
18	1	Scott Kilpatrick 1856 bronze badges
16	1	Stefan Ciobaca 1692 bronze badges
15	1	yhirai 9637 silver badges21 bronze badges
14	1	Andrea Asperti 6316 silver badges11 bronze badges
13	1	mrsteve 4432 silver badges12 bronze badges
13	1	Vivek Ghaisas 2491 silver badge5 bronze badges
11	2	Bob 3811 silver badge9 bronze badges
10	1	Guillaume Brunerie 2031 silver badge5 bronze badges
9	1	Russell O'Connor 6184 silver badges7 bronze badges
9	1	Adam Barak 937 bronze badges
9	1	Bas Spitters 1953 bronze badges
9	1	deniss 2011 silver badge4 bronze badges
8	1	fread2281 2551 silver badge6 bronze badges

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