Tag Info

automated-theorem-proving Questions

Andrej Bauer

23.4k1 gold badge62 silver badges108 bronze badges

44	5	Neel Krishnaswami 29.5k83 silver badges155 bronze badges
37	6	cody 12k36 silver badges69 bronze badges
36	3	Dave Clarke 16.2k3 gold badges55 silver badges105 bronze badges
27	1	Dana Moshkovitz 10.7k1 gold badge44 silver badges76 bronze badges
27	2	Martin Berger 9,7852 gold badges31 silver badges61 bronze badges
26	4	Andrej Bauer 23.4k1 gold badge62 silver badges108 bronze badges
25	1	Kaveh 20.7k8 gold badges71 silver badges175 bronze badges
21	2	Vijay D 11.8k2 gold badges29 silver badges58 bronze badges
17	1	Rob Simmons 2,33611 silver badges23 bronze badges
17	1	yhirai 9537 silver badges21 bronze badges
11	1	Sylvain 3,22422 silver badges22 bronze badges
11	1	Charles Stewart 4,18623 silver badges45 bronze badges
8	1	Sam Tobin-Hochstadt 1,82711 silver badges21 bronze badges
8	1	Joshua Grochow 32.5k4 gold badges110 silver badges199 bronze badges
8	1	dezakin 3181 silver badge6 bronze badges
6	1	Noam Zeilberger 3,93019 silver badges31 bronze badges
6	1	Kai 8005 silver badges11 bronze badges
6	1	Cris P 1611 silver badge4 bronze badges
6	1	kbkb 1714 bronze badges
5	1	Aubrey da Cunha 3462 silver badges6 bronze badges

5	2	Siddharth Bhat 1814 bronze badges
1	1	Nift 776 bronze badges

35	1	Joseph O'Rourke 3,51518 silver badges38 bronze badges
29	1	Philip White 4,92223 silver badges40 bronze badges
18	1	Max Muller 5471 gold badge4 silver badges8 bronze badges
18	1	Anonymous 3,85314 silver badges39 bronze badges
16	3	vzn 10.5k2 gold badges26 silver badges58 bronze badges
15	1	Sylvia Grewe 1593 bronze badges
14	1	Max New 1,1765 silver badges18 bronze badges
13	1	Gabriel Ščerbák 2311 silver badge5 bronze badges
13	3	Atriya 2591 silver badge6 bronze badges
12	2	dezakin 3181 silver badge6 bronze badges
11	1	jmite 2,2429 silver badges27 bronze badges
11	1	MCH 3,00417 silver badges25 bronze badges
10	1	quanta 2211 silver badge4 bronze badges
9	1	hawkeye 2,3411 gold badge13 silver badges29 bronze badges
9	1	Ram 1934 bronze badges
9	1	Eric Bond 933 bronze badges
8	1	Hanul Jeon 1814 bronze badges
8	2	Rodrigo 5252 silver badges11 bronze badges
7	1	Pteromys 8754 silver badges12 bronze badges
7	1	Gonbê Nanasino 712 bronze badges