Tag Info

automated-theorem-proving Questions

19	3	Jason Rute 9,1501 gold badge18 silver badges54 bronze badges
13	1	Nike Dattani 1,16513 silver badges30 bronze badges
10	1	Jason Gross 1,5474 silver badges11 bronze badges
8	1	Maximilian Doré 6653 silver badges7 bronze badges
6	1	Anja Petković Komel 761 bronze badge
6	2	Meven Lennon-Bertrand♦ 5,5108 silver badges28 bronze badges
6	1	Alex Nelson 1,5746 silver badges21 bronze badges
5	1	M. Lonardi 3632 silver badges7 bronze badges
5	1	Couchy 2,2902 gold badges9 silver badges39 bronze badges
3	1	Pierre Castéran 6732 silver badges5 bronze badges
3	1	Andrew K. Hirsch 3041 silver badge6 bronze badges
3	1	Andrej Bauer 9,73223 silver badges62 bronze badges
3	1	Joey Eremondi 9214 silver badges14 bronze badges
1	1	alias 1192 bronze badges

24	1	Will Sawin 9014 silver badges17 bronze badges
23	2	Greg Nisbet 3,0956 silver badges33 bronze badges
16	2	Reubend 5193 silver badges8 bronze badges
12	1	Guy Coder 2,8461 gold badge12 silver badges38 bronze badges
12	1	Kevin Buzzard 2,50012 silver badges21 bronze badges
7	1	Nike Dattani 1,16513 silver badges30 bronze badges
4	1	Martin Modrák 917 bronze badges
4	1	shooqie 1713 bronze badges
4	1	llllvvuu 1433 bronze badges
3	1	userrandrand 1313 bronze badges
2	1	Zongshu Wu 232 bronze badges
1	1	Matthew Daggitt 1914 bronze badges