Tag Info

automated-theorem-proving Questions

44	5	Neel Krishnaswami 27.1k80 silver badges153 bronze badges
37	6	cody 11.5k34 silver badges66 bronze badges
36	3	Dave Clarke 15.2k3 gold badges52 silver badges103 bronze badges
27	2	Martin Berger 9,4702 gold badges30 silver badges61 bronze badges
27	1	Dana Moshkovitz 9,01442 silver badges75 bronze badges
25	1	Kaveh 16.3k8 gold badges70 silver badges172 bronze badges
23	3	Andrej Bauer 22.5k1 gold badge59 silver badges107 bronze badges
21	2	Vijay D 11.3k2 gold badges29 silver badges57 bronze badges
17	1	Rob Simmons 2,18110 silver badges23 bronze badges
17	1	yhirai 8787 silver badges21 bronze badges
11	1	Sylvain 3,18421 silver badges22 bronze badges
11	1	Charles Stewart 3,86122 silver badges45 bronze badges
8	1	Joshua Grochow 30.4k4 gold badges104 silver badges190 bronze badges
8	1	dezakin 2581 silver badge6 bronze badges
8	1	Sam Tobin-Hochstadt 1,80710 silver badges20 bronze badges
6	1	Cris P 1611 silver badge4 bronze badges
6	1	kbkb 1164 bronze badges
6	1	Kai 8005 silver badges11 bronze badges
6	1	Noam Zeilberger 3,55018 silver badges31 bronze badges
5	1	Henning Basold 3161 silver badge6 bronze badges

35	1	Joseph O'Rourke 2,16017 silver badges38 bronze badges
28	1	Philip White 2,86722 silver badges40 bronze badges
18	1	Max Muller 2971 gold badge3 silver badges8 bronze badges
18	1	Anonymous 1,89812 silver badges35 bronze badges
16	3	vzn 8,4852 gold badges25 silver badges56 bronze badges
15	1	Sylvia Grewe 793 bronze badges
14	1	Max New 7564 silver badges16 bronze badges
13	3	Atriya 796 bronze badges
13	1	Gabriel Ščerbák 1665 bronze badges
12	2	dezakin 2581 silver badge6 bronze badges
11	1	MCH 2,88415 silver badges24 bronze badges
10	1	jmite 1,0288 silver badges26 bronze badges
10	1	quanta 1614 bronze badges
9	1	hawkeye 1,1501 gold badge8 silver badges25 bronze badges
9	1	Ram 1484 bronze badges
8	1	Hanul Jeon 1414 bronze badges
8	1	Eric Bond 433 bronze badges
7	1	Pteromys 4652 silver badges12 bronze badges
7	1	Gonbê Nanasino 362 bronze badges
6	1	Stefan Ciobaca 1594 bronze badges