Tag Info

coq Questions

74	11	Andrej Bauer 26.9k1 gold badge62 silver badges105 bronze badges
62	9	Gilles 'SO- stop being evil' 40.8k7 gold badges108 silver badges171 bronze badges
31	4	Anton Trunov 3,3791 gold badge15 silver badges24 bronze badges
25	1	Dave Clarke 19.8k3 gold badges61 silver badges112 bronze badges
24	2	Tej Chajed 3712 silver badges3 bronze badges
20	3	jmad 9,2291 gold badge35 silver badges41 bronze badges
19	1	Kristopher Micinski 2911 silver badge4 bronze badges
19	3	chi 13.9k1 gold badge25 silver badges35 bronze badges
18	5	cody 7,63320 silver badges51 bronze badges
16	2	jmite 28.7k5 gold badges59 silver badges115 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.1k25 gold badges125 silver badges221 bronze badges
12	2	Rui Baptista 2511 silver badge2 bronze badges
11	1	babou 18.7k32 silver badges73 bronze badges
10	1	Daniil 2,12716 silver badges24 bronze badges
9	1	Pseudonym 15.6k1 gold badge29 silver badges57 bronze badges
8	3	Luke Mathieson 17.5k4 gold badges50 silver badges83 bronze badges
8	1	jbapple 3,10114 silver badges17 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' 40.8k7 gold badges108 silver badges171 bronze badges
22	1	Rafael Castro 4693 silver badges15 bronze badges
15	2	user11942 1616 bronze badges
14	2	paulotorrens 6493 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,63817 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	Twernmilt 1036 bronze badges
10	1	Alex 2431 silver badge5 bronze badges
10	1	Labbekak 4932 silver badges9 bronze badges
8	1	HdM 8186 silver badges12 bronze badges
8	2	Jason Hu 5432 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