Tag Info

automated-theorem-proving Questions

45	5	Neel Krishnaswami 31.6k1 gold badge94 silver badges163 bronze badges
37	6	cody 13.2k1 gold badge43 silver badges87 bronze badges
36	3	Dave Clarke 16.6k3 gold badges58 silver badges106 bronze badges
30	4	Andrej Bauer 26.6k1 gold badge71 silver badges124 bronze badges
28	1	Dana Moshkovitz 10.9k1 gold badge47 silver badges77 bronze badges
28	2	Martin Berger 10.3k3 gold badges34 silver badges62 bronze badges
25	1	Kaveh 21.3k8 gold badges79 silver badges179 bronze badges
22	2	Vijay D 12.3k2 gold badges33 silver badges60 bronze badges
18	1	yhirai 9637 silver badges21 bronze badges
17	1	Rob Simmons 2,38613 silver badges24 bronze badges
11	1	Charles Stewart 4,27626 silver badges45 bronze badges
11	1	Sylvain 3,31424 silver badges22 bronze badges
8	1	dezakin 3181 silver badge6 bronze badges
8	1	Sam Tobin-Hochstadt 1,88711 silver badges21 bronze badges
8	1	Joshua Grochow 35.7k4 gold badges123 silver badges218 bronze badges
6	1	Henning Basold 3261 silver badge7 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	Noam Zeilberger 4,30921 silver badges33 bronze badges

36	1	Joseph O'Rourke 3,70321 silver badges39 bronze badges
29	1	Philip White 5,0701 gold badge25 silver badges42 bronze badges
18	1	Max Muller 6271 gold badge6 silver badges8 bronze badges
18	1	Anonymous 3,99318 silver badges42 bronze badges
18	3	vzn 10.8k2 gold badges29 silver badges60 bronze badges
15	3	Atriya 2791 silver badge7 bronze badges
15	1	Max New 1,4127 silver badges19 bronze badges
15	1	Sylvia Grewe 1593 bronze badges
14	1	Gabriel Ščerbák 2411 silver badge5 bronze badges
12	2	dezakin 3181 silver badge6 bronze badges
12	1	Alex Reinking 2211 silver badge4 bronze badges
11	1	Joey Eremondi 2,72414 silver badges29 bronze badges
11	1	Mahdi Cheraghchi 4,01120 silver badges30 bronze badges
10	1	quanta 2211 silver badge4 bronze badges
10	1	hawkeye 2,5011 gold badge17 silver badges32 bronze badges
9	1	Ram 1931 silver badge5 bronze badges
9	2	user1868607 7493 silver badges11 bronze badges
9	1	Eric Bond 1633 bronze badges
8	1	Hanul Jeon 1814 bronze badges
8	1	Gonbê Nanasino 812 bronze badges