Tag Info

coq Questions

103	7	Neel Krishnaswami 29.4k83 silver badges155 bronze badges
93	8	Andrej Bauer 23.4k1 gold badge62 silver badges108 bronze badges
58	5	Dave Clarke 16.2k3 gold badges55 silver badges105 bronze badges
55	5	Gilles 'SO- stop being evil' 2,4971 gold badge23 silver badges33 bronze badges
55	8	cody 12k35 silver badges69 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,7652 gold badges31 silver badges61 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,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,43616 silver badges28 bronze badges
4	1	Noam Zeilberger 3,93019 silver badges31 bronze badges

Siddharth Bhat

1814 bronze badges

63	2	Dave Clarke 16.2k3 gold badges55 silver badges105 bronze badges
41	2	Konstantin Solomatov 1,5927 silver badges17 bronze badges
41	1	davidk01 5125 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 6116 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	Guillaume Brunerie 1934 bronze badges
9	1	Adam Barak 936 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