Tag Info

coq Questions

107	7	Neel Krishnaswami 30.6k89 silver badges159 bronze badges
102	9	Andrej Bauer 25.3k1 gold badge67 silver badges113 bronze badges
60	8	cody 12.6k1 gold badge38 silver badges78 bronze badges
58	5	Dave Clarke 16.4k3 gold badges57 silver badges106 bronze badges
55	5	Gilles 'SO- stop being evil' 2,5871 gold badge24 silver badges35 bronze badges
28	1	Marc 6264 silver badges6 bronze badges
18	1	Danko Ilik 1812 bronze badges
16	2	gallais 6264 silver badges14 bronze badges
15	1	Marcin Kotowski 2,77616 silver badges25 bronze badges
14	1	Makarius 4254 silver badges10 bronze badges
12	2	Dominic Mulligan 8279 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 10k3 gold badges33 silver badges62 bronze badges
10	2	gasche 1,7171 gold badge14 silver badges13 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
6	1	Stefan 3622 silver badges9 bronze badges
5	1	wren romano 7104 silver badges6 bronze badges

66	2	Dave Clarke 16.4k3 gold badges57 silver badges106 bronze badges
44	2	Konstantin Solomatov 1,65210 silver badges18 bronze badges
42	1	davidk01 5225 silver badges7 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,52517 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 badge7 bronze badges
9	1	Guillaume Brunerie 1934 bronze badges
9	1	Adam Barak 937 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