Tag Info

coq Questions

73	11	Andrej Bauer 26.6k1 gold badge61 silver badges103 bronze badges
61	9	Gilles 'SO- stop being evil' 40.1k7 gold badges108 silver badges171 bronze badges
31	4	Anton Trunov 3,3691 gold badge15 silver badges24 bronze badges
25	1	Dave Clarke 19.7k3 gold badges61 silver badges112 bronze badges
24	2	Tej Chajed 3712 silver badges3 bronze badges
20	3	jmad 9,1991 gold badge34 silver badges41 bronze badges
19	1	Kristopher Micinski 2911 silver badge4 bronze badges
19	3	chi 13.8k1 gold badge25 silver badges35 bronze badges
18	5	cody 7,55820 silver badges51 bronze badges
15	2	jmite 28.3k5 gold badges58 silver badges113 bronze badges
15	1	Makarius 4284 silver badges7 bronze badges
15	3	Derek Elkins left SE 11.6k1 gold badge26 silver badges41 bronze badges
12	1	David Richerby 78.7k25 gold badges125 silver badges219 bronze badges
11	2	Rui Baptista 2411 silver badge2 bronze badges
11	1	babou 18.6k31 silver badges73 bronze badges
10	1	Daniil 2,12716 silver badges24 bronze badges
9	1	Pseudonym 14.9k1 gold badge29 silver badges55 bronze badges
8	3	Luke Mathieson 17.4k4 gold badges49 silver badges82 bronze badges
8	1	jbapple 3,10214 silver badges17 bronze badges
6	1	xuq01 1,1508 silver badges15 bronze badges

46	1	Guy Coder 4,8811 gold badge25 silver badges60 bronze badges
22	1	Rafael Castro 4693 silver badges15 bronze badges
21	1	Gilles 'SO- stop being evil' 40.1k7 gold badges108 silver badges171 bronze badges
15	2	user11942 1616 bronze badges
14	2	paulotorrens 6193 silver badges9 bronze badges
14	1	Abhishek Kumar 2512 silver badges3 bronze badges
14	1	Walter Schulze 1434 bronze badges
12	1	Imago 4153 silver badges14 bronze badges
12	3	Jake 3,60816 silver badges33 bronze badges
12	1	Jannis Limperg 2411 silver badge5 bronze badges
11	1	Stéphane Gimenez 1,4401 gold badge14 silver badges25 bronze badges
10	1	Alex 2431 silver badge5 bronze badges
10	1	Labbekak 4832 silver badges9 bronze badges
9	1	Twernmilt 935 bronze badges
8	1	HdM 8186 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