Tag Info

coq Questions

64	9	Andrej Bauer 22.8k1 gold badge51 silver badges91 bronze badges
51	6	Gilles 'SO- stop being evil' 37.4k7 gold badges101 silver badges166 bronze badges
31	4	Anton Trunov 3,2391 gold badge13 silver badges24 bronze badges
25	1	Dave Clarke 19.2k3 gold badges56 silver badges110 bronze badges
24	2	Tej Chajed 3712 silver badges3 bronze badges
20	3	jmad 8,78231 silver badges40 bronze badges
19	3	chi 13.4k22 silver badges33 bronze badges
18	5	cody 7,24617 silver badges43 bronze badges
18	1	Kristopher Micinski 2811 silver badge4 bronze badges
15	1	Makarius 4284 silver badges7 bronze badges
15	3	Derek Elkins 11.2k1 gold badge24 silver badges39 bronze badges
13	2	jmite 25.8k3 gold badges50 silver badges105 bronze badges
11	2	Rui Baptista 2411 silver badge2 bronze badges
11	1	babou 18k28 silver badges69 bronze badges
10	1	Daniil 2,06713 silver badges23 bronze badges
9	1	David Richerby 76.2k17 gold badges117 silver badges208 bronze badges
9	1	Pseudonym 10.8k1 gold badge21 silver badges43 bronze badges
8	1	jbapple 2,97211 silver badges17 bronze badges
7	2	Luke Mathieson 16.3k3 gold badges46 silver badges78 bronze badges
6	1	xuq01 1,0956 silver badges15 bronze badges

44	1	Guy Coder 4,7311 gold badge20 silver badges59 bronze badges
23	1	Rafael Castro 4573 silver badges15 bronze badges
21	1	Gilles 'SO- stop being evil' 37.4k7 gold badges101 silver badges166 bronze badges
15	2	user11942 1615 bronze badges
14	2	paulotorrens 5992 silver badges9 bronze badges
13	1	Walter Schulze 1312 bronze badges
12	1	Imago 4152 silver badges13 bronze badges
12	3	Jake 3,19314 silver badges30 bronze badges
12	1	Jannis Limperg 2411 silver badge5 bronze badges
12	1	Abhishek Kumar 2311 silver badge3 bronze badges
10	1	Stéphane Gimenez 1,42014 silver badges25 bronze badges
9	1	Twernmilt 934 bronze badges
9	1	Alex 2231 silver badge3 bronze badges
9	1	Labbekak 4431 silver badge8 bronze badges
8	1	HdM 7784 silver badges11 bronze badges
8	2	Jason Hu 5232 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