Tag Info

coq Questions

74	11	Andrej Bauer 27.4k1 gold badge63 silver badges105 bronze badges
62	9	Gilles 'SO- stop being evil' 41.1k7 gold badges110 silver badges173 bronze badges
31	4	Anton Trunov 3,4091 gold badge16 silver badges25 bronze badges
25	1	Dave Clarke 19.8k3 gold badges64 silver badges112 bronze badges
24	2	Tej Chajed 3712 silver badges3 bronze badges
20	3	jmad 9,3091 gold badge35 silver badges41 bronze badges
19	2	jmite 28.9k5 gold badges60 silver badges117 bronze badges
19	1	Kristopher Micinski 2911 silver badge4 bronze badges
19	3	chi 14k1 gold badge25 silver badges35 bronze badges
18	5	cody 7,67322 silver badges52 bronze badges
15	1	Makarius 4284 silver badges7 bronze badges
15	3	Derek Elkins left SE 11.7k1 gold badge26 silver badges41 bronze badges
12	1	David Richerby 79.5k26 gold badges128 silver badges224 bronze badges
12	2	Rui Baptista 2511 silver badge2 bronze badges
11	1	babou 18.9k34 silver badges73 bronze badges
10	1	Daniil 2,14716 silver badges24 bronze badges
9	1	Pseudonym 16.9k1 gold badge32 silver badges59 bronze badges
8	3	Luke Mathieson 17.6k4 gold badges51 silver badges83 bronze badges
8	1	jbapple 3,17114 silver badges18 bronze badges
6	1	xuq01 1,1508 silver badges15 bronze badges

46	1	Guy Coder 4,8911 gold badge25 silver badges60 bronze badges
22	1	Gilles 'SO- stop being evil' 41.1k7 gold badges110 silver badges173 bronze badges
22	1	Rafael Castro 4693 silver badges15 bronze badges
15	2	user11942 1616 bronze badges
15	1	Abhishek Kumar 2612 silver badges3 bronze badges
14	2	paulotorrens 6593 silver badges9 bronze badges
14	1	Walter Schulze 1434 bronze badges
12	1	Imago 4153 silver badges14 bronze badges
12	3	Jake 3,67817 silver badges33 bronze badges
12	1	Jannis Limperg 2411 silver badge5 bronze badges
11	1	Stéphane Gimenez 1,4401 gold badge14 silver badges26 bronze badges
10	1	Twernmilt 1036 bronze badges
10	1	Alex 2431 silver badge5 bronze badges
10	1	Labbekak 4932 silver badges9 bronze badges
8	1	HdM 8486 silver badges12 bronze badges
8	2	Jason Hu 5532 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