Tag Info

coq Questions

5	2	Andrej Bauer 24.4k1 gold badge57 silver badges95 bronze badges
1	1	Gilles 'SO- stop being evil' 38.4k7 gold badges102 silver badges166 bronze badges

71	11	Andrej Bauer 24.4k1 gold badge57 silver badges95 bronze badges
58	7	Gilles 'SO- stop being evil' 38.4k7 gold badges102 silver badges166 bronze badges
31	4	Anton Trunov 3,3291 gold badge13 silver badges24 bronze badges
25	1	Dave Clarke 19.4k3 gold badges58 silver badges111 bronze badges
24	2	Tej Chajed 3712 silver badges3 bronze badges
20	3	jmad 8,95233 silver badges40 bronze badges
19	3	chi 13.7k23 silver badges34 bronze badges
18	5	cody 7,35018 silver badges45 bronze badges
18	1	Kristopher Micinski 2811 silver badge4 bronze badges
15	1	Makarius 4284 silver badges7 bronze badges
15	3	Derek Elkins left SE 11.5k1 gold badge25 silver badges41 bronze badges
14	2	jmite 27.3k5 gold badges56 silver badges109 bronze badges
11	1	David Richerby 77.7k17 gold badges121 silver badges216 bronze badges
11	2	Rui Baptista 2411 silver badge2 bronze badges
11	1	babou 18.3k29 silver badges71 bronze badges
10	1	Daniil 2,09715 silver badges24 bronze badges
9	1	Pseudonym 12.4k1 gold badge25 silver badges49 bronze badges
8	3	Luke Mathieson 16.8k3 gold badges49 silver badges80 bronze badges
8	1	jbapple 3,02213 silver badges17 bronze badges
6	1	xuq01 1,1057 silver badges15 bronze badges

1	1	Feryll 1133 bronze badges
1	1	Matt R 1214 bronze badges

44	1	Guy Coder 4,7811 gold badge24 silver badges60 bronze badges
23	1	Rafael Castro 4573 silver badges15 bronze badges
21	1	Gilles 'SO- stop being evil' 38.4k7 gold badges102 silver badges166 bronze badges
15	2	user11942 1616 bronze badges
14	2	paulotorrens 6193 silver badges9 bronze badges
14	1	Walter Schulze 1412 bronze badges
13	1	Abhishek Kumar 2411 silver badge3 bronze badges
12	1	Imago 4153 silver badges14 bronze badges
12	3	Jake 3,49816 silver badges31 bronze badges
12	1	Jannis Limperg 2411 silver badge5 bronze badges
11	1	Stéphane Gimenez 1,4301 gold badge14 silver badges25 bronze badges
10	1	Alex 2431 silver badge5 bronze badges
9	1	Twernmilt 935 bronze badges
9	1	Labbekak 4632 silver badges8 bronze badges
8	1	HdM 7885 silver badges12 bronze badges
8	2	Jason Hu 5332 silver badges10 bronze badges
7	1	phs 2093 silver badges12 bronze badges
7	1	KarenS 711 bronze badge
7	1	Pece 3111 silver badge6 bronze badges
6	2	Mathias Vorreiter Pedersen 1836 bronze badges