Tag Info

automated-theorem-proving Questions

44	5	Neel Krishnaswami 30.5k89 silver badges159 bronze badges
37	6	cody 12.6k1 gold badge38 silver badges78 bronze badges
36	3	Dave Clarke 16.4k3 gold badges57 silver badges106 bronze badges
29	4	Andrej Bauer 25.2k1 gold badge67 silver badges113 bronze badges
28	1	Dana Moshkovitz 10.8k1 gold badge46 silver badges76 bronze badges
27	2	Martin Berger 10k3 gold badges33 silver badges62 bronze badges
25	1	Kaveh 21k8 gold badges76 silver badges177 bronze badges
21	2	Vijay D 12k2 gold badges32 silver badges58 bronze badges
18	1	yhirai 9637 silver badges21 bronze badges
17	1	Rob Simmons 2,34612 silver badges23 bronze badges
11	1	Sylvain 3,27423 silver badges22 bronze badges
11	1	Charles Stewart 4,25625 silver badges45 bronze badges
8	1	Sam Tobin-Hochstadt 1,87711 silver badges21 bronze badges
8	1	Joshua Grochow 34.2k4 gold badges116 silver badges208 bronze badges
8	1	dezakin 3181 silver badge6 bronze badges
6	1	Noam Zeilberger 4,15120 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
6	1	Henning Basold 3261 silver badge7 bronze badges

36	1	Joseph O'Rourke 3,63520 silver badges39 bronze badges
29	1	Philip White 4,9901 gold badge24 silver badges41 bronze badges
18	1	Max Muller 6071 gold badge6 silver badges8 bronze badges
18	1	Anonymous 3,92315 silver badges40 bronze badges
16	3	vzn 10.8k2 gold badges28 silver badges59 bronze badges
15	3	Atriya 2791 silver badge7 bronze badges
15	1	Sylvia Grewe 1593 bronze badges
14	1	Gabriel Ščerbák 2411 silver badge5 bronze badges
14	1	Max New 1,2056 silver badges19 bronze badges
12	2	dezakin 3181 silver badge6 bronze badges
11	1	jmite 2,38711 silver badges27 bronze badges
11	1	Mahdi Cheraghchi 3,84619 silver badges30 bronze badges
10	1	quanta 2211 silver badge4 bronze badges
9	1	hawkeye 2,4511 gold badge15 silver badges30 bronze badges
9	1	Ram 1931 silver badge5 bronze badges
9	2	Rodrigo 6493 silver badges11 bronze badges
9	1	Eric Bond 1533 bronze badges
8	1	Hanul Jeon 1814 bronze badges
8	1	Gonbê Nanasino 812 bronze badges
7	1	Pteromys 8754 silver badges12 bronze badges