Tag Info

lo.logic Questions

Andrej Bauer

23.8k1 gold badge63 silver badges109 bronze badges

661	55	Neel Krishnaswami 29.8k85 silver badges156 bronze badges
598	53	Andrej Bauer 23.8k1 gold badge63 silver badges109 bronze badges
382	26	Dave Clarke 16.2k3 gold badges55 silver badges105 bronze badges
294	50	cody 12.2k1 gold badge36 silver badges69 bronze badges
214	31	Kaveh 20.8k8 gold badges74 silver badges175 bronze badges
200	24	Vijay D 11.9k2 gold badges30 silver badges58 bronze badges
176	10	Noam Zeilberger 3,96019 silver badges31 bronze badges
172	16	Emil Jeřábek 11.5k3 gold badges44 silver badges67 bronze badges
154	17	Charles Stewart 4,21623 silver badges45 bronze badges
119	14	Martin Berger 9,8752 gold badges31 silver badges61 bronze badges
88	12	Marc Hamann 2,7541 gold badge20 silver badges22 bronze badges
84	6	Gilles 'SO- stop being evil' 2,5171 gold badge23 silver badges33 bronze badges
74	7	Uday Reddy 4,53625 silver badges37 bronze badges
64	6	Rob Simmons 2,34611 silver badges23 bronze badges
64	7	Radu GRIGore 4,60625 silver badges68 bronze badges
62	2	Timothy Chow 6,69330 silver badges38 bronze badges
62	2	Scott Aaronson 13k1 gold badge54 silver badges68 bronze badges
59	8	Sylvain 3,24422 silver badges22 bronze badges
57	4	Ulrik Buchholtz 7166 silver badges5 bronze badges
57	7	Jan Johannsen 4,4381 gold badge28 silver badges48 bronze badges

Łukasz Lew

1,0592 silver badges12 bronze badges

206	16	Neel Krishnaswami 29.8k85 silver badges156 bronze badges
172	2	Ryan Williams 24.9k6 gold badges105 silver badges156 bronze badges
127	10	day 2,46516 silver badges26 bronze badges
126	6	Dave Clarke 16.2k3 gold badges55 silver badges105 bronze badges
114	3	John Salvatier 1,24511 silver badges11 bronze badges
103	6	Petr Pudlák 2,31110 silver badges23 bronze badges
94	7	Kaveh 20.8k8 gold badges74 silver badges175 bronze badges
91	6	András Salamon 18.3k3 gold badges57 silver badges142 bronze badges
78	13	Konstantin Solomatov 1,6028 silver badges18 bronze badges
77	1	M.S. Dousti 16k8 gold badges62 silver badges143 bronze badges
60	3	Anonymous 3,89315 silver badges40 bronze badges
58	2	Mohammad Alaggan 1,68617 silver badges29 bronze badges
56	2	jkff 8,3093 gold badges18 silver badges33 bronze badges
50	3	PhD 4,8795 gold badges16 silver badges34 bronze badges
45	3	Charles Stewart 4,21623 silver badges45 bronze badges
45	7	Pteromys 8754 silver badges12 bronze badges
41	1	davidk01 5125 silver badges7 bronze badges
41	2	Philip White 4,94023 silver badges40 bronze badges
38	3	hawkeye 2,3611 gold badge13 silver badges30 bronze badges
38	3	Rob 7957 silver badges19 bronze badges