Tag Info

automated-theorem-proving Questions

46	5	Neel Krishnaswami 32.9k1 gold badge104 silver badges165 bronze badges
37	6	cody 14.1k1 gold badge49 silver badges105 bronze badges
37	3	Dave Clarke 16.7k3 gold badges61 silver badges106 bronze badges
31	4	Andrej Bauer 29.5k2 gold badges81 silver badges135 bronze badges
28	1	Dana Moshkovitz 11k1 gold badge51 silver badges77 bronze badges
27	2	Martin Berger 11.6k3 gold badges40 silver badges71 bronze badges
25	1	Kaveh 21.8k8 gold badges84 silver badges185 bronze badges
22	2	Vijay D 12.6k2 gold badges35 silver badges62 bronze badges
17	1	Rob Simmons 2,39614 silver badges24 bronze badges
17	1	yhirai 9637 silver badges21 bronze badges
11	1	Sylvain 3,37427 silver badges22 bronze badges
11	1	Charles Stewart 4,30629 silver badges45 bronze badges
8	1	Sam Tobin-Hochstadt 1,89711 silver badges21 bronze badges
8	1	Joshua Grochow 38.5k4 gold badges134 silver badges233 bronze badges
8	1	dezakin 3181 silver badge6 bronze badges
6	1	Noam Zeilberger 4,83125 silver badges38 bronze badges
6	1	Kai 8546 silver badges12 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

37	1	Joseph O'Rourke 3,77325 silver badges41 bronze badges
19	3	vzn 11.1k2 gold badges31 silver badges67 bronze badges
18	1	Max Lonysa Muller 6471 gold badge6 silver badges9 bronze badges
18	1	Anonymous 4,06120 silver badges43 bronze badges
15	3	Atriya 2791 silver badge7 bronze badges
15	1	Max New 1,7409 silver badges24 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	Joey Eremondi 2,96216 silver badges30 bronze badges
12	1	Alex Reinking 2211 silver badge4 bronze badges
11	1	Mahdi Cheraghchi 4,05123 silver badges30 bronze badges
10	1	quanta 2211 silver badge4 bronze badges
10	1	hawkeye 2,5811 gold badge18 silver badges34 bronze badges
9	1	Ram 1931 silver badge5 bronze badges
9	1	Eric Bond 1633 bronze badges
8	1	Hanul Jeon 1814 bronze badges
8	1	Gonbê Nanasino 812 bronze badges
7	1	Pteromys 9054 silver badges13 bronze badges
6	1	Stefan Ciobaca 1894 bronze badges