Tag Info

proof-complexity Questions

60	1	Mariano Suárez-Álvarez 47.3k14 gold badges147 silver badges264 bronze badges
54	1	Scott Carter 5,2642 gold badges28 silver badges35 bronze badges
39	2	Mohammad Golshani 32.1k2 gold badges99 silver badges198 bronze badges
32	5	Timothy Chow 82.6k26 gold badges363 silver badges587 bronze badges
28	1	Igor Khavkine 21.5k2 gold badges60 silver badges113 bronze badges
26	1	Andreas Blass 73.1k8 gold badges191 silver badges290 bronze badges
25	2	Joel David Hamkins 236k44 gold badges777 silver badges1.4k bronze badges
19	2	Will Sawin 148k9 gold badges324 silver badges563 bronze badges
18	1	Ryan Budney 44.3k2 gold badges139 silver badges245 bronze badges
17	1	Carl Mummert 9,6831 gold badge46 silver badges68 bronze badges
15	1	Sam Nead 28.1k5 gold badges72 silver badges131 bronze badges
15	1	Dan Piponi 8,2715 gold badges64 silver badges92 bronze badges
14	1	Ori Gurel-Gurevich 6,7111 gold badge28 silver badges37 bronze badges
14	1	Erfan Khaniki 1,6891 gold badge11 silver badges17 bronze badges
12	1	Henry Cohn 16.8k2 gold badges74 silver badges77 bronze badges
12	1	Henry Yuen 2,00915 silver badges23 bronze badges
12	3	Emil Jeřábek 47.1k4 gold badges147 silver badges208 bronze badges
11	1	Terry Tao 114k33 gold badges462 silver badges539 bronze badges
11	1	Kristal Cantwell 6,5231 gold badge25 silver badges45 bronze badges
10	1	Gil Kalai 24.7k38 gold badges235 silver badges327 bronze badges

72	1	gowers 29k29 gold badges145 silver badges182 bronze badges
16	1	Mirco A. Mannucci 7,8534 gold badges36 silver badges66 bronze badges
12	1	Morteza Azad 1
11	2	Mohammad Al-Turkistany 2,99324 silver badges34 bronze badges
10	1	John 1035 bronze badges
10	1	Hao Yu 7814 silver badges13 bronze badges
9	1	Hank Igoe 1934 bronze badges
7	1	John Florence 712 bronze badges
6	1	truebaran 9,3305 gold badges30 silver badges88 bronze badges
4	1	Per Alexandersson 15.8k10 gold badges74 silver badges133 bronze badges
4	1	David Harris 3,4751 gold badge26 silver badges38 bronze badges
4	1	v sairam 411 bronze badge
3	1	Sprotte 1,0754 silver badges12 bronze badges
3	1	Display name 7455 silver badges16 bronze badges
3	1	Dmytro Taranovsky 7,5451 gold badge22 silver badges45 bronze badges
3	1	DPLL 312 bronze badges
3	1	Kaveh 5,5022 gold badges37 silver badges52 bronze badges
3	1	chewbacta 333 bronze badges
1	1	Christian 213 bronze badges
1	1	Jérôme JEAN-CHARLES 1,30617 silver badges25 bronze badges