Tag Info

type-theory Questions

41	2	Andrej Bauer 22.4k1 gold badge59 silver badges107 bronze badges
11	1	Gilles 2,2971 gold badge22 silver badges32 bronze badges
6	1	Dan Doel 3813 silver badges5 bronze badges
5	1	Bjørn Kjos-Hanssen♦ 3,7881 gold badge19 silver badges37 bronze badges

536	56	Andrej Bauer 22.4k1 gold badge59 silver badges107 bronze badges
512	45	Neel Krishnaswami 27k80 silver badges153 bronze badges
398	59	cody 11.4k34 silver badges66 bronze badges
215	14	Dave Clarke 15.2k3 gold badges52 silver badges103 bronze badges
120	16	Martin Berger 9,3352 gold badges30 silver badges60 bronze badges
90	7	Andreas Rossberg 1,1209 silver badges11 bronze badges
78	9	Damiano Mazza 3,7631 gold badge16 silver badges31 bronze badges
69	7	Uday Reddy 4,17124 silver badges36 bronze badges
57	4	Noam Zeilberger 3,50018 silver badges30 bronze badges
49	5	Charles Stewart 3,86122 silver badges45 bronze badges
46	3	Gilles 2,2971 gold badge22 silver badges32 bronze badges
46	5	Marc Hamann 2,4891 gold badge17 silver badges21 bronze badges
40	1	pigworker 5064 silver badges7 bronze badges
39	4	jbapple 4,2092 gold badges23 silver badges48 bronze badges
38	3	Sam Tobin-Hochstadt 1,80710 silver badges20 bronze badges
36	1	Dana Scott 3763 silver badges2 bronze badges
35	6	Dominic Mulligan 8079 silver badges15 bronze badges
28	1	Steven Shaw 4274 silver badges8 bronze badges
27	5	gasche 1,4921 gold badge12 silver badges13 bronze badges
25	2	Rob Simmons 2,18110 silver badges23 bronze badges

18	1	Björn Lindqvist 2291 silver badge7 bronze badges
3	1	greatBigDot 183 bronze badges
2	1	xrq 6831 silver badge14 bronze badges

126	9	day 1,28011 silver badges26 bronze badges
114	3	John Salvatier 6758 silver badges11 bronze badges
109	19	MaiaVictor 1,3976 silver badges26 bronze badges
92	13	Konstantin Solomatov 8576 silver badges16 bronze badges
61	8	StudentType 4222 silver badges9 bronze badges
56	3	Petr Pudlák 1,4519 silver badges20 bronze badges
54	8	jmite 9936 silver badges26 bronze badges
42	4	Neel Krishnaswami 27k80 silver badges153 bronze badges
42	4	Max New 7514 silver badges16 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
32	1	oconnor0 2682 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 7034 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