Tag Info

coq Questions

107	7	Neel Krishnaswami 30.1k87 silver badges157 bronze badges
100	9	Andrej Bauer 24.5k1 gold badge66 silver badges111 bronze badges
58	8	cody 12.5k1 gold badge37 silver badges73 bronze badges
58	5	Dave Clarke 16.3k3 gold badges57 silver badges105 bronze badges
55	5	Gilles 'SO- stop being evil' 2,5271 gold badge24 silver badges33 bronze badges
28	1	Marc 6264 silver badges6 bronze badges
17	1	Danko Ilik 1712 bronze badges
16	2	gallais 6264 silver badges14 bronze badges
15	1	Marcin Kotowski 2,76616 silver badges25 bronze badges
14	1	Makarius 4254 silver badges10 bronze badges
12	2	Dominic Mulligan 8279 silver badges15 bronze badges
10	1	Martin Berger 9,9353 gold badges33 silver badges62 bronze badges
10	2	gasche 1,5821 gold badge13 silver badges13 bronze badges
10	1	Colin Gordon 4412 silver badges9 bronze badges
8	2	Konstantin Weitz 2041 silver badge3 bronze badges
7	1	Jake 1,1016 silver badges19 bronze badges
6	1	yhirai 9637 silver badges21 bronze badges
5	1	wren romano 7104 silver badges6 bronze badges
5	2	Colin McQuillan 3,46618 silver badges28 bronze badges
5	1	Michael Norrish 1511 silver badge3 bronze badges

64	2	Dave Clarke 16.3k3 gold badges57 silver badges105 bronze badges
42	2	Konstantin Solomatov 1,6028 silver badges18 bronze badges
41	1	davidk01 5125 silver badges7 bronze badges
24	1	Colin Gordon 4412 silver badges9 bronze badges
23	1	Steve 2311 silver badge3 bronze badges
22	1	Mark Reitblatt 1,65215 silver badges20 bronze badges
18	1	day 2,47517 silver badges26 bronze badges
18	1	Rui Baptista 2831 silver badge5 bronze badges
16	1	Scott Kilpatrick 1656 bronze badges
15	1	Stefan Ciobaca 1592 bronze badges
14	1	yhirai 9637 silver badges21 bronze badges
14	1	Andrea Asperti 6116 silver badges11 bronze badges
13	1	mrsteve 4332 silver badges10 bronze badges
13	1	Vivek Ghaisas 2491 silver badge5 bronze badges
9	1	Guillaume Brunerie 1934 bronze badges
9	1	Adam Barak 936 bronze badges
9	2	Bob 2921 silver badge7 bronze badges
9	1	Bas Spitters 1953 bronze badges
8	1	Russell O'Connor 6084 silver badges7 bronze badges
7	1	Anton 712 bronze badges