Tag Info

automated-theorem-proving Questions

19	3	Jason Rute 9,6631 gold badge19 silver badges55 bronze badges
14	1	Nike Dattani 1,17513 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,6458 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,3202 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 10.1k23 silver badges63 bronze badges
3	1	Joey Eremondi 9914 silver badges14 bronze badges
1	1	alias 1192 bronze badges

26	1	Will Sawin 9215 silver badges17 bronze badges
24	2	Greg Nisbet 3,1056 silver badges33 bronze badges
16	2	Reubend 5193 silver badges8 bronze badges
12	1	Kevin Buzzard 2,52012 silver badges21 bronze badges
12	1	Guy Coder 2,8461 gold badge12 silver badges38 bronze badges
7	1	Nike Dattani 1,17513 silver badges30 bronze badges
4	1	shooqie 1713 bronze badges
4	1	Martin Modrák 917 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