Tag Info

coq Questions

109	7	Neel Krishnaswami 31k89 silver badges160 bronze badges
102	9	Andrej Bauer 25.4k1 gold badge67 silver badges115 bronze badges
60	8	cody 12.7k1 gold badge39 silver badges83 bronze badges
58	5	Dave Clarke 16.4k3 gold badges57 silver badges106 bronze badges
56	5	Gilles 'SO- stop being evil' 2,6071 gold badge24 silver badges35 bronze badges
29	1	Marc 6364 silver badges6 bronze badges
18	1	Danko Ilik 1812 bronze badges
16	2	gallais 6264 silver badges14 bronze badges
15	1	Makarius 4354 silver badges10 bronze badges
14	1	Marcin Kotowski 2,77616 silver badges25 bronze badges
12	2	Dominic Mulligan 8379 silver badges15 bronze badges
12	1	Colin Gordon 4612 silver badges9 bronze badges
12	1	Jasper Hugunin 2361 silver badge4 bronze badges
10	1	Martin Berger 10.1k3 gold badges33 silver badges62 bronze badges
10	2	gasche 1,8421 gold badge15 silver badges15 bronze badges
8	2	Konstantin Weitz 2041 silver badge3 bronze badges
7	1	Jake 1,1116 silver badges19 bronze badges
6	1	yhirai 9637 silver badges21 bronze badges
6	1	Stefan 3822 silver badges9 bronze badges
5	1	wren romano 7104 silver badges6 bronze badges

67	2	Dave Clarke 16.4k3 gold badges57 silver badges106 bronze badges
44	2	Konstantin Solomatov 1,67210 silver badges18 bronze badges
24	1	Colin Gordon 4612 silver badges9 bronze badges
23	1	Steve 2311 silver badge3 bronze badges
23	1	Mark Reitblatt 1,66215 silver badges20 bronze badges
19	1	day 2,5451 gold badge17 silver badges26 bronze badges
18	1	Rui Baptista 2831 silver badge5 bronze badges
16	1	Stefan Ciobaca 1692 bronze badges
16	1	Scott Kilpatrick 1656 bronze badges
14	1	yhirai 9637 silver badges21 bronze badges
14	1	Andrea Asperti 6116 silver badges11 bronze badges
13	1	mrsteve 4332 silver badges11 bronze badges
13	1	Vivek Ghaisas 2491 silver badge5 bronze badges
11	2	Bob 3291 silver badge9 bronze badges
9	1	Guillaume Brunerie 1934 bronze badges
9	1	Russell O'Connor 6184 silver badges7 bronze badges
9	1	Adam Barak 937 bronze badges
9	1	Bas Spitters 1953 bronze badges
8	1	fread2281 2551 silver badge6 bronze badges
7	1	Anton 712 bronze badges