Tag Info

proofs Questions

107	3	Timothy Chow 7,46533 silver badges41 bronze badges
76	3	Andrej Bauer 28.3k1 gold badge80 silver badges130 bronze badges
51	3	Ryan Williams 27.3k7 gold badges114 silver badges163 bronze badges
50	3	Jeffε 23.1k10 gold badges96 silver badges163 bronze badges
46	7	Kaveh 21.5k8 gold badges82 silver badges183 bronze badges
43	2	Gil Kalai 6,01335 silver badges73 bronze badges
39	1	Raphael 4,55527 silver badges47 bronze badges
35	1	Scott Aaronson 13.6k2 gold badges60 silver badges68 bronze badges
33	1	Bjørn Kjos-Hanssen♦ 4,4752 gold badges25 silver badges40 bronze badges
32	3	Suresh Venkat 32k4 gold badges94 silver badges271 bronze badges
32	1	András Salamon 18.9k3 gold badges64 silver badges147 bronze badges
27	1	Dana Moshkovitz 11k1 gold badge50 silver badges77 bronze badges
26	1	Evgenij Thorstensen 1,08910 silver badges17 bronze badges
23	3	a3nm 8,89627 silver badges85 bronze badges
22	3	Sadeq Dousti 16.5k9 gold badges68 silver badges152 bronze badges
21	1	David Richerby 2,7452 gold badges18 silver badges28 bronze badges
20	1	Neal Young 9,59531 silver badges57 bronze badges
20	2	Peter Shor 24.3k4 gold badges92 silver badges131 bronze badges
19	2	Tyson Williams 4,2582 gold badges22 silver badges44 bronze badges
19	2	Marcos Villagra 3,28027 silver badges45 bronze badges

51	1	jkff 8,9113 gold badges23 silver badges33 bronze badges
45	1	Mohammad Alaggan 1,80218 silver badges29 bronze badges
44	1	András Salamon 18.9k3 gold badges64 silver badges147 bronze badges
39	2	a3nm 8,89627 silver badges85 bronze badges
29	1	Anthony Labarre 3,2541 gold badge24 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,80619 silver badges25 bronze badges
25	1	Shiva Kintali 10.6k41 silver badges74 bronze badges
19	1	Joshua Grochow 36.9k4 gold badges129 silver badges227 bronze badges
15	1	Geoffrey Irving 3,24314 silver badges29 bronze badges
15	1	Marin 1535 bronze badges
13	1	Magnus Lie Hetland 1,52010 silver badges17 bronze badges
13	1	Nutel 3813 silver badges9 bronze badges
13	1	gabgoh 1,54812 silver badges22 bronze badges
13	1	hengxin 2,3291 gold badge17 silver badges32 bronze badges
12	1	Fixee 1,0038 silver badges15 bronze badges
11	1	Matt Groff 2,10013 silver badges19 bronze badges
11	1	Mahdi Cheraghchi 4,01122 silver badges30 bronze badges
11	1	Alvaro 1456 bronze badges