Tag Info

coq Questions

65	9	Andrej Bauer 23.6k1 gold badge55 silver badges94 bronze badges
53	6	Gilles 'SO- stop being evil' 38k7 gold badges102 silver badges166 bronze badges
31	4	Anton Trunov 3,2891 gold badge13 silver badges24 bronze badges
25	1	Dave Clarke 19.3k3 gold badges58 silver badges111 bronze badges
24	2	Tej Chajed 3712 silver badges3 bronze badges
20	3	jmad 8,90233 silver badges40 bronze badges
19	3	chi 13.6k22 silver badges33 bronze badges
18	5	cody 7,34117 silver badges44 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.4k1 gold badge25 silver badges40 bronze badges
14	2	jmite 26.5k5 gold badges54 silver badges108 bronze badges
11	1	David Richerby 77.2k17 gold badges119 silver badges212 bronze badges
11	2	Rui Baptista 2411 silver badge2 bronze badges
11	1	babou 18.3k28 silver badges71 bronze badges
10	1	Daniil 2,07714 silver badges24 bronze badges
9	1	Pseudonym 11.5k1 gold badge23 silver badges45 bronze badges
8	3	Luke Mathieson 16.7k3 gold badges48 silver badges79 bronze badges
8	1	jbapple 2,99212 silver badges17 bronze badges
6	1	xuq01 1,1057 silver badges15 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' 38k7 gold badges102 silver badges166 bronze badges
15	2	user11942 1615 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 badges13 bronze badges
12	3	Jake 3,22814 silver badges30 bronze badges
12	1	Jannis Limperg 2411 silver badge5 bronze badges
10	1	Stéphane Gimenez 1,4201 gold badge14 silver badges25 bronze badges
9	1	Twernmilt 934 bronze badges
9	1	Alex 2331 silver badge4 bronze badges
9	1	Labbekak 4432 silver badges8 bronze badges
8	1	HdM 7784 silver badges11 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