Tag Info

coq Questions

103	7	Neel Krishnaswami 29.3k81 silver badges155 bronze badges
92	8	Andrej Bauer 22.9k1 gold badge61 silver badges108 bronze badges
57	5	Dave Clarke 16.1k3 gold badges53 silver badges103 bronze badges
55	5	Gilles 'SO- stop being evil' 2,4971 gold badge23 silver badges33 bronze badges
54	8	cody 11.8k34 silver badges66 bronze badges
28	1	Marc 6264 silver badges6 bronze badges
16	2	gallais 5913 silver badges14 bronze badges
15	1	Marcin Kotowski 2,76615 silver badges24 bronze badges
14	1	Makarius 4054 silver badges10 bronze badges
13	1	Danko Ilik 1312 bronze badges
12	2	Dominic Mulligan 8079 silver badges15 bronze badges
10	1	Martin Berger 9,6952 gold badges31 silver badges61 bronze badges
10	2	gasche 1,5621 gold badge12 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,0716 silver badges19 bronze badges
6	1	yhirai 9537 silver badges21 bronze badges
5	1	wren romano 7004 silver badges6 bronze badges
5	2	Colin McQuillan 3,42616 silver badges27 bronze badges
4	1	Noam Zeilberger 3,93019 silver badges31 bronze badges

62	2	Dave Clarke 16.1k3 gold badges53 silver badges103 bronze badges
40	2	Konstantin Solomatov 1,5827 silver badges17 bronze badges
40	1	davidk01 5025 silver badges7 bronze badges
24	1	Colin Gordon 4412 silver badges9 bronze badges
22	1	Steve 2211 silver badge3 bronze badges
21	1	Mark Reitblatt 1,62215 silver badges20 bronze badges
18	1	day 2,45516 silver badges26 bronze badges
18	1	Rui Baptista 2831 silver badge5 bronze badges
16	1	Scott Kilpatrick 1656 bronze badges
14	1	yhirai 9537 silver badges21 bronze badges
14	1	Andrea Asperti 5815 silver badges11 bronze badges
13	1	mrsteve 4332 silver badges10 bronze badges
11	1	Stefan Ciobaca 1192 bronze badges
10	1	Vivek Ghaisas 2191 silver badge4 bronze badges
9	1	Adam Barak 936 bronze badges
9	1	Guillaume Brunerie 1934 bronze badges
9	2	Bob 2921 silver badge6 bronze badges
9	1	Bas Spitters 1953 bronze badges
8	1	Russell O'Connor 5983 silver badges7 bronze badges
7	1	Anton 712 bronze badges