Tag Info

coq Questions

103	7	Neel Krishnaswami 27.1k80 silver badges153 bronze badges
92	8	Andrej Bauer 22.5k1 gold badge59 silver badges108 bronze badges
56	5	Dave Clarke 15.2k3 gold badges53 silver badges103 bronze badges
54	8	cody 11.5k34 silver badges66 bronze badges
53	5	Gilles 2,3271 gold badge22 silver badges32 bronze badges
28	1	Marc 6264 silver badges6 bronze badges
16	2	gallais 5563 silver badges14 bronze badges
15	1	Marcin Kotowski 1,82613 silver badges23 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,4702 gold badges30 silver badges61 bronze badges
10	1	Colin Gordon 3211 silver badge9 bronze badges
10	2	gasche 1,5521 gold badge12 silver badges13 bronze badges
8	2	Konstantin Weitz 2041 silver badge3 bronze badges
7	1	Jake 6464 silver badges19 bronze badges
6	1	yhirai 8837 silver badges21 bronze badges
5	1	wren romano 7004 silver badges6 bronze badges
5	2	Colin McQuillan 3,21615 silver badges27 bronze badges
4	1	Noam Zeilberger 3,57018 silver badges31 bronze badges

Bas Spitters

1412 bronze badges

62	2	Dave Clarke 15.2k3 gold badges53 silver badges103 bronze badges
40	2	Konstantin Solomatov 8576 silver badges16 bronze badges
39	1	davidk01 2974 silver badges7 bronze badges
24	1	Colin Gordon 3211 silver badge9 bronze badges
22	1	Steve 1113 bronze badges
21	1	Mark Reitblatt 1,46714 silver badges20 bronze badges
18	1	Rui Baptista 1935 bronze badges
17	1	day 1,28512 silver badges26 bronze badges
16	1	Scott Kilpatrick 856 bronze badges
14	1	Andrea Asperti 4615 silver badges10 bronze badges
14	1	yhirai 8837 silver badges21 bronze badges
13	1	mrsteve 2181 silver badge10 bronze badges
11	1	Stefan Ciobaca 592 bronze badges
10	1	Vivek Ghaisas 1594 bronze badges
9	2	Bob 1976 bronze badges
9	1	Adam Barak 486 bronze badges
9	1	Guillaume Brunerie 1484 bronze badges
8	1	Bas Spitters 1412 bronze badges
8	1	Russell O'Connor 3432 silver badges7 bronze badges
7	1	Anton 362 bronze badges