Tag Info

type-theory Questions

6	1	András Kovács 2461 silver badge4 bronze badges
6	1	gasche 1,5521 gold badge12 silver badges13 bronze badges

537	56	Andrej Bauer 22.5k1 gold badge59 silver badges108 bronze badges
513	45	Neel Krishnaswami 27.1k80 silver badges153 bronze badges
402	59	cody 11.5k34 silver badges66 bronze badges
216	14	Dave Clarke 15.2k3 gold badges53 silver badges103 bronze badges
120	16	Martin Berger 9,4702 gold badges30 silver badges61 bronze badges
90	7	Andreas Rossberg 1,1209 silver badges11 bronze badges
78	9	Damiano Mazza 3,7731 gold badge16 silver badges31 bronze badges
69	7	Uday Reddy 4,18124 silver badges36 bronze badges
59	4	Noam Zeilberger 3,57018 silver badges31 bronze badges
49	5	Charles Stewart 3,86123 silver badges45 bronze badges
47	3	Gilles 2,3271 gold badge22 silver badges32 bronze badges
46	5	Marc Hamann 2,4941 gold badge18 silver badges21 bronze badges
40	1	pigworker 5064 silver badges7 bronze badges
39	4	jbapple 4,2792 gold badges24 silver badges49 bronze badges
39	3	Sam Tobin-Hochstadt 1,81710 silver badges20 bronze badges
36	1	Dana Scott 3763 silver badges2 bronze badges
35	6	Dominic Mulligan 8079 silver badges15 bronze badges
33	6	gasche 1,5521 gold badge12 silver badges13 bronze badges
28	1	Steven Shaw 4274 silver badges8 bronze badges
25	2	Rob Simmons 2,18110 silver badges23 bronze badges

8	1	Bas Spitters 1412 bronze badges
7	1	Manuel Jacob 1362 bronze badges
5	1	jmite 1,0588 silver badges27 bronze badges

127	9	day 1,28512 silver badges26 bronze badges
114	3	John Salvatier 6758 silver badges11 bronze badges
110	19	MaiaVictor 1,4027 silver badges26 bronze badges
92	13	Konstantin Solomatov 8576 silver badges16 bronze badges
61	8	StudentType 4222 silver badges9 bronze badges
60	9	jmite 1,0588 silver badges27 bronze badges
57	3	Petr Pudlák 1,46110 silver badges20 bronze badges
43	4	Max New 7564 silver badges16 bronze badges
42	4	Neel Krishnaswami 27.1k80 silver badges153 bronze badges
40	4	Jake 6464 silver badges19 bronze badges
39	1	davidk01 2974 silver badges7 bronze badges
37	4	Alejandro DC 4712 silver badges14 bronze badges
33	1	oconnor0 2732 silver badges6 bronze badges
31	1	Brian McKenna 2582 silver badges6 bronze badges
29	3	mrsteve 2181 silver badge10 bronze badges
28	1	Artem Pelenitsyn 7084 silver badges20 bronze badges
28	1	qazwsx 2764 silver badges7 bronze badges
27	1	Russell O'Connor 3432 silver badges7 bronze badges
27	6	pyon 3011 silver badge10 bronze badges
27	1	efrey 1382 silver badges6 bronze badges