Tag Info

type-theory Questions

5	2	ice1000 7352 silver badges19 bronze badges
5	1	András Kovács 1,0095 silver badges6 bronze badges
3	1	Martin Berger 10.1k3 gold badges33 silver badges62 bronze badges
2	1	varkor 1762 bronze badges
2	1	Andrej Bauer 25.4k1 gold badge67 silver badges115 bronze badges

639	75	Andrej Bauer 25.4k1 gold badge67 silver badges115 bronze badges
586	55	Neel Krishnaswami 31k89 silver badges160 bronze badges
446	63	cody 12.7k1 gold badge39 silver badges83 bronze badges
221	14	Dave Clarke 16.4k3 gold badges57 silver badges106 bronze badges
127	17	Martin Berger 10.1k3 gold badges33 silver badges62 bronze badges
97	8	Andreas Rossberg 1,24010 silver badges11 bronze badges
81	9	Damiano Mazza 4,4881 gold badge18 silver badges33 bronze badges
81	15	András Kovács 1,0095 silver badges6 bronze badges
74	7	Uday Reddy 4,60626 silver badges37 bronze badges
60	4	Noam Zeilberger 4,17120 silver badges31 bronze badges
50	5	Charles Stewart 4,25625 silver badges45 bronze badges
50	3	Gilles 'SO- stop being evil' 2,6071 gold badge24 silver badges35 bronze badges
48	5	Marc Hamann 2,8041 gold badge21 silver badges22 bronze badges
40	3	Sam Tobin-Hochstadt 1,88711 silver badges21 bronze badges
40	1	pigworker 5064 silver badges7 bronze badges
39	4	jbapple 10.9k2 gold badges26 silver badges50 bronze badges
38	6	Dominic Mulligan 8379 silver badges15 bronze badges
36	1	Dana Scott 3763 silver badges2 bronze badges
35	6	gasche 1,8421 gold badge15 silver badges15 bronze badges
34	1	Steven Shaw 5444 silver badges9 bronze badges

6	1	Alapan Chaudhuri 1693 bronze badges
5	1	ice1000 7352 silver badges19 bronze badges
2	1	Rchjk 311 bronze badge

133	9	day 2,5451 gold badge17 silver badges26 bronze badges
130	22	MaiaVictor 3,0058 silver badges28 bronze badges
120	3	John Salvatier 1,30513 silver badges11 bronze badges
96	13	Konstantin Solomatov 1,67210 silver badges18 bronze badges
89	13	jmite 2,41712 silver badges27 bronze badges
65	8	StudentType 7773 silver badges9 bronze badges
64	3	Petr 2,44111 silver badges24 bronze badges
46	5	Neel Krishnaswami 31k89 silver badges160 bronze badges
46	4	Max New 1,2056 silver badges19 bronze badges
42	4	Jake 1,1116 silver badges19 bronze badges
41	10	Łukasz Lew 1,1373 silver badges12 bronze badges
37	4	Alejandro DC 7013 silver badges14 bronze badges
34	1	oconnor0 4533 silver badges6 bronze badges
33	1	qazwsx 5291 gold badge6 silver badges7 bronze badges
31	1	Brian McKenna 4133 silver badges6 bronze badges
29	1	Russell O'Connor 6184 silver badges7 bronze badges
29	3	mrsteve 4332 silver badges11 bronze badges
28	1	Artem Pelenitsyn 1,0836 silver badges20 bronze badges
28	6	pyon 5012 silver badges10 bronze badges
28	3	Nikolaj-K 4912 silver badges10 bronze badges