Tag Info

proofs Questions

103	3	Timothy Chow 7,10333 silver badges40 bronze badges
75	3	Andrej Bauer 27.9k1 gold badge78 silver badges130 bronze badges
51	3	Ryan Williams 26.7k6 gold badges111 silver badges161 bronze badges
49	3	Jeffε 22.9k10 gold badges95 silver badges163 bronze badges
46	7	Kaveh 21.4k8 gold badges81 silver badges181 bronze badges
43	2	Gil Kalai 5,98334 silver badges73 bronze badges
38	1	Raphael 4,54526 silver badges45 bronze badges
35	1	Scott Aaronson 13.5k2 gold badges59 silver badges68 bronze badges
33	1	Bjørn Kjos-Hanssen♦ 4,4452 gold badges24 silver badges40 bronze badges
32	3	Suresh Venkat 31.9k4 gold badges92 silver badges271 bronze badges
32	1	András Salamon 18.9k3 gold badges63 silver badges145 bronze badges
27	1	Dana Moshkovitz 11k1 gold badge48 silver badges77 bronze badges
25	1	Evgenij Thorstensen 1,07910 silver badges17 bronze badges
23	3	a3nm 8,23425 silver badges79 bronze badges
22	3	Sadeq Dousti 16.3k9 gold badges67 silver badges152 bronze badges
21	1	David Richerby 2,7452 gold badges17 silver badges28 bronze badges
20	1	Neal Young 9,55530 silver badges56 bronze badges
20	2	Peter Shor 23.9k4 gold badges90 silver badges129 bronze badges
19	2	Tyson Williams 4,2582 gold badges22 silver badges44 bronze badges
19	2	Marcos Villagra 3,28026 silver badges45 bronze badges

51	1	jkff 8,8113 gold badges22 silver badges33 bronze badges
43	1	András Salamon 18.9k3 gold badges63 silver badges145 bronze badges
43	1	Mohammad Alaggan 1,76217 silver badges29 bronze badges
39	2	a3nm 8,23425 silver badges79 bronze badges
29	1	Anthony Labarre 3,2541 gold badge23 silver badges33 bronze badges
29	1	karthik 4074 silver badges9 bronze badges
29	1	Meir Maor 4345 silver badges11 bronze badges
27	1	Marcin Kotowski 2,79618 silver badges25 bronze badges
25	1	Shiva Kintali 10.6k39 silver badges74 bronze badges
19	1	Joshua Grochow 36.4k4 gold badges125 silver badges224 bronze badges
15	1	Geoffrey Irving 3,22314 silver badges29 bronze badges
15	1	Marin 1535 bronze badges
13	1	Magnus Lie Hetland 1,52010 silver badges17 bronze badges
13	1	gabgoh 1,53812 silver badges21 bronze badges
13	1	hengxin 2,3291 gold badge16 silver badges32 bronze badges
12	1	Nutel 3713 silver badges9 bronze badges
12	1	Fixee 1,0038 silver badges15 bronze badges
11	1	Matt Groff 2,08013 silver badges19 bronze badges
11	1	Mahdi Cheraghchi 4,01121 silver badges30 bronze badges
11	1	Alvaro 1456 bronze badges