Tag Info

type-theory Questions

3	1	Andrej Bauer 24.2k1 gold badge65 silver badges109 bronze badges
2	1	Fabian 211 bronze badge

591	66	Andrej Bauer 24.2k1 gold badge65 silver badges109 bronze badges
536	48	Neel Krishnaswami 30k87 silver badges156 bronze badges
428	62	cody 12.3k1 gold badge36 silver badges70 bronze badges
219	14	Dave Clarke 16.3k3 gold badges57 silver badges105 bronze badges
123	16	Martin Berger 9,9153 gold badges32 silver badges61 bronze badges
96	8	Andreas Rossberg 1,23010 silver badges11 bronze badges
79	9	Damiano Mazza 4,2381 gold badge17 silver badges31 bronze badges
71	7	Uday Reddy 4,54625 silver badges37 bronze badges
59	4	Noam Zeilberger 4,02020 silver badges31 bronze badges
50	5	Charles Stewart 4,23625 silver badges45 bronze badges
50	3	Gilles 'SO- stop being evil' 2,5271 gold badge24 silver badges33 bronze badges
46	5	Marc Hamann 2,7541 gold badge21 silver badges22 bronze badges
40	1	pigworker 5064 silver badges7 bronze badges
39	4	jbapple 10.7k2 gold badges25 silver badges50 bronze badges
39	3	Sam Tobin-Hochstadt 1,83711 silver badges21 bronze badges
37	5	András Kovács 5012 silver badges5 bronze badges
36	6	Dominic Mulligan 8179 silver badges15 bronze badges
36	1	Dana Scott 3763 silver badges2 bronze badges
34	6	gasche 1,5821 gold badge13 silver badges13 bronze badges
30	1	Steven Shaw 4944 silver badges9 bronze badges

2	1	Siddharth Bhat 2671 silver badge7 bronze badges
1	1	MaxB 2211 silver badge5 bronze badges

128	9	day 2,46517 silver badges26 bronze badges
118	21	MaiaVictor 2,8778 silver badges27 bronze badges
114	3	John Salvatier 1,24511 silver badges11 bronze badges
92	13	Konstantin Solomatov 1,6028 silver badges18 bronze badges
84	13	jmite 2,31910 silver badges27 bronze badges
62	3	Petr Pudlák 2,33111 silver badges23 bronze badges
62	8	StudentType 7473 silver badges9 bronze badges
46	4	Max New 1,1755 silver badges18 bronze badges
42	4	Neel Krishnaswami 30k87 silver badges156 bronze badges
41	1	davidk01 5125 silver badges7 bronze badges
40	4	Jake 1,0916 silver badges19 bronze badges
37	4	Alejandro DC 7013 silver badges14 bronze badges
36	9	Łukasz Lew 1,0592 silver badges12 bronze badges
33	1	oconnor0 4433 silver badges6 bronze badges
31	1	Brian McKenna 4133 silver badges6 bronze badges
29	1	Russell O'Connor 6084 silver badges7 bronze badges
29	3	mrsteve 4332 silver badges10 bronze badges
28	1	Artem Pelenitsyn 1,0836 silver badges20 bronze badges
28	6	pyon 5012 silver badges10 bronze badges
28	1	qazwsx 4815 silver badges7 bronze badges