Tag Info

proof-complexity Questions

8	1	Emre Yolcu 2861 silver badge3 bronze badges
8	1	Emil Jeřábek 16.9k3 gold badges60 silver badges89 bronze badges
5	1	holf 2,1641 gold badge15 silver badges20 bronze badges

134	16	Kaveh 21.5k8 gold badges82 silver badges183 bronze badges
86	8	Emil Jeřábek 16.9k3 gold badges60 silver badges89 bronze badges
40	2	Dana Moshkovitz 11k1 gold badge50 silver badges77 bronze badges
25	4	Jan Johannsen 4,6312 gold badges33 silver badges50 bronze badges
24	2	Yuval Filmus 14.3k1 gold badge48 silver badges92 bronze badges
22	1	D.W. 11.7k2 gold badges34 silver badges77 bronze badges
21	2	Dai Le 3,6641 gold badge24 silver badges37 bronze badges
21	1	Neel Krishnaswami 32.4k1 gold badge100 silver badges165 bronze badges
21	1	Artem Kaznatcheev♦ 10.2k12 gold badges74 silver badges174 bronze badges
20	2	Vijay D 12.6k2 gold badges34 silver badges61 bronze badges
20	3	Iddo Tzameret 1,8991 gold badge19 silver badges27 bronze badges
18	3	Jakob Nordstrom 5044 silver badges6 bronze badges
18	2	Andrej Bauer 28.3k1 gold badge80 silver badges130 bronze badges
16	1	Charles Stewart 4,30628 silver badges45 bronze badges
15	1	siuman 5765 silver badges11 bronze badges
15	1	François G. Dorais 3462 silver badges10 bronze badges
15	1	Ryan Williams 27.3k7 gold badges114 silver badges163 bronze badges
14	1	Shiva Kintali 10.6k41 silver badges74 bronze badges
14	1	Giorgio Camerani 6,7801 gold badge33 silver badges63 bronze badges
14	3	Joshua Grochow 36.9k4 gold badges129 silver badges227 bronze badges

4	1	Soha 1456 bronze badges
4	2	Jxb 3151 silver badge9 bronze badges

49	4	Kaveh 21.5k8 gold badges82 silver badges183 bronze badges
47	4	Jan Johannsen 4,6312 gold badges33 silver badges50 bronze badges
45	7	Mohammad Al-Turkistany 20.8k5 gold badges62 silver badges147 bronze badges
38	1	Artem Kaznatcheev♦ 10.2k12 gold badges74 silver badges174 bronze badges
36	1	Joseph O'Rourke 3,74323 silver badges41 bronze badges
28	1	Marzio De Biasi 22.6k2 gold badges57 silver badges126 bronze badges
25	1	Anonymous 4,00119 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,79630 silver badges69 bronze badges
17	1	Vijay D 12.6k2 gold badges34 silver badges61 bronze badges
16	2	verifying 1,0625 silver badges12 bronze badges
15	1	Oleksandr Bondarenko 4,2151 gold badge25 silver badges46 bronze badges
14	5	Soha 1456 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
13	1	Nicola Gigante 1,58810 silver badges20 bronze badges
11	4	RTK 3112 silver badges6 bronze badges
10	1	Turbo 12.8k1 gold badge19 silver badges68 bronze badges