Tag Info

type-theory Questions

5	1	András Kovács 7363 silver badges6 bronze badges
3	2	Andrej Bauer 25.3k1 gold badge67 silver badges113 bronze badges
2	1	ice1000 1558 bronze badges
2	1	Neel Krishnaswami 30.6k89 silver badges159 bronze badges

631	74	Andrej Bauer 25.3k1 gold badge67 silver badges113 bronze badges
562	52	Neel Krishnaswami 30.6k89 silver badges159 bronze badges
437	62	cody 12.6k1 gold badge38 silver badges78 bronze badges
221	14	Dave Clarke 16.4k3 gold badges57 silver badges106 bronze badges
124	16	Martin Berger 10k3 gold badges33 silver badges62 bronze badges
97	8	Andreas Rossberg 1,24010 silver badges11 bronze badges
79	9	Damiano Mazza 4,3931 gold badge18 silver badges33 bronze badges
74	7	Uday Reddy 4,61626 silver badges37 bronze badges
59	4	Noam Zeilberger 4,15120 silver badges31 bronze badges
59	11	András Kovács 7363 silver badges6 bronze badges
50	5	Charles Stewart 4,26625 silver badges45 bronze badges
50	3	Gilles 'SO- stop being evil' 2,5871 gold badge24 silver badges35 bronze badges
46	5	Marc Hamann 2,7741 gold badge21 silver badges22 bronze badges
40	3	Sam Tobin-Hochstadt 1,87711 silver badges21 bronze badges
40	1	pigworker 5064 silver badges7 bronze badges
39	4	jbapple 10.8k2 gold badges26 silver badges50 bronze badges
37	6	Dominic Mulligan 8279 silver badges15 bronze badges
36	1	Dana Scott 3763 silver badges2 bronze badges
35	6	gasche 1,7171 gold badge14 silver badges13 bronze badges
34	1	Steven Shaw 5444 silver badges9 bronze badges

3	1	ice1000 1558 bronze badges
3	1	Neel Krishnaswami 30.6k89 silver badges159 bronze badges

133	9	day 2,52517 silver badges26 bronze badges
129	22	MaiaVictor 2,9958 silver badges28 bronze badges
116	3	John Salvatier 1,26512 silver badges11 bronze badges
95	13	Konstantin Solomatov 1,65210 silver badges18 bronze badges
87	13	jmite 2,39711 silver badges27 bronze badges
63	3	Petr 2,39111 silver badges24 bronze badges
63	8	StudentType 7573 silver badges9 bronze badges
46	4	Max New 1,2056 silver badges19 bronze badges
45	5	Neel Krishnaswami 30.6k89 silver badges159 bronze badges
42	1	davidk01 5225 silver badges7 bronze badges
41	4	Jake 1,1016 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 5295 silver badges7 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 badges11 bronze badges
28	1	Artem Pelenitsyn 1,0836 silver badges20 bronze badges
28	6	pyon 5012 silver badges10 bronze badges