Tag Info

coq Questions

111	7	Neel Krishnaswami 31.6k93 silver badges162 bronze badges
103	9	Andrej Bauer 26.4k1 gold badge71 silver badges123 bronze badges
62	8	cody 13.1k1 gold badge43 silver badges87 bronze badges
60	5	Dave Clarke 16.6k3 gold badges58 silver badges106 bronze badges
59	5	Gilles 'SO- stop being evil' 2,6671 gold badge25 silver badges35 bronze badges
29	1	Marc 6364 silver badges6 bronze badges
18	1	Danko Ilik 1812 bronze badges
16	2	gallais 6364 silver badges14 bronze badges
15	1	Makarius 4354 silver badges10 bronze badges
14	1	Marcin Kotowski 2,78617 silver badges25 bronze badges
13	2	Dominic Mulligan 8379 silver badges15 bronze badges
13	1	Jasper Hugunin 2462 silver badges4 bronze badges
12	1	Colin Gordon 4613 silver badges9 bronze badges
10	1	Martin Berger 10.3k3 gold badges34 silver badges62 bronze badges
10	2	gasche 1,8821 gold badge15 silver badges15 bronze badges
8	2	Konstantin Weitz 2041 silver badge3 bronze badges
7	1	Jake 1,1316 silver badges20 bronze badges
6	1	yhirai 9637 silver badges21 bronze badges
6	1	Stefan 3822 silver badges9 bronze badges
6	1	L. Garde 1761 bronze badge

67	2	Dave Clarke 16.6k3 gold badges58 silver badges106 bronze badges
45	2	Konstantin Solomatov 1,71211 silver badges20 bronze badges
24	1	Colin Gordon 4613 silver badges9 bronze badges
24	1	Steve 2411 silver badge3 bronze badges
23	1	Mark Reitblatt 1,66015 silver badges20 bronze badges
22	1	day 2,6751 gold badge18 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 4432 silver badges12 bronze badges
13	1	Vivek Ghaisas 2491 silver badge5 bronze badges
11	2	Bob 3291 silver badge9 bronze badges
10	1	Guillaume Brunerie 2031 silver badge5 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