Tag Info

proof-complexity Questions

134	16	Kaveh 21.4k8 gold badges81 silver badges181 bronze badges
75	6	Emil Jeřábek 15.6k3 gold badges56 silver badges87 bronze badges
40	2	Dana Moshkovitz 11k1 gold badge48 silver badges77 bronze badges
25	4	Jan Johannsen 4,5412 gold badges32 silver badges50 bronze badges
24	2	Yuval Filmus 14.2k1 gold badge45 silver badges90 bronze badges
21	2	Dai Le 3,6541 gold badge22 silver badges37 bronze badges
21	1	Artem Kaznatcheev♦ 10.1k12 gold badges73 silver badges174 bronze badges
21	1	Neel Krishnaswami 32.2k1 gold badge98 silver badges165 bronze badges
21	1	D.W. 11.3k2 gold badges33 silver badges77 bronze badges
20	3	Iddo Tzameret 1,8991 gold badge19 silver badges27 bronze badges
20	2	Vijay D 12.5k2 gold badges34 silver badges60 bronze badges
18	2	Andrej Bauer 27.9k1 gold badge78 silver badges130 bronze badges
18	3	Jakob Nordstrom 4944 silver badges6 bronze badges
16	1	Charles Stewart 4,30627 silver badges45 bronze badges
15	1	Ryan Williams 26.7k6 gold badges111 silver badges161 bronze badges
15	1	François G. Dorais 3462 silver badges10 bronze badges
14	1	Shiva Kintali 10.6k39 silver badges74 bronze badges
14	1	Giorgio Camerani 6,7151 gold badge31 silver badges63 bronze badges
14	3	Joshua Grochow 36.4k4 gold badges125 silver badges224 bronze badges
14	1	siuman 5665 silver badges11 bronze badges

49	4	Kaveh 21.4k8 gold badges81 silver badges181 bronze badges
46	4	Jan Johannsen 4,5412 gold badges32 silver badges50 bronze badges
45	7	Mohammad Al-Turkistany 20.8k5 gold badges60 silver badges146 bronze badges
38	1	Artem Kaznatcheev♦ 10.1k12 gold badges73 silver badges174 bronze badges
36	1	Joseph O'Rourke 3,70322 silver badges39 bronze badges
28	1	Marzio De Biasi 22.5k2 gold badges55 silver badges124 bronze badges
25	1	Anonymous 4,00118 silver badges43 bronze badges
25	2	Opt 1,31114 silver badges20 bronze badges
24	2	MassimoLauria 1,83116 silver badges21 bronze badges
19	1	Radu GRIGore 4,77629 silver badges69 bronze badges
17	1	Vijay D 12.5k2 gold badges34 silver badges60 bronze badges
16	2	verifying 1,0625 silver badges12 bronze badges
15	1	Oleksandr Bondarenko 4,2151 gold badge24 silver badges46 bronze badges
13	1	Xi Wu 1614 bronze badges
13	2	Joachim 5134 silver badges12 bronze badges
13	1	Yugioh Mishima 3711 silver badge8 bronze badges
12	1	gigabytes 1,44610 silver badges20 bronze badges
11	4	RTK 3112 silver badges6 bronze badges
10	1	Turbo 12.6k1 gold badge17 silver badges67 bronze badges
10	1	shen 1013 bronze badges