Tag Info

type-theory Questions

8	2	Andrej Bauer 23.1k1 gold badge62 silver badges108 bronze badges
6	1	Jason Gross 2511 silver badge5 bronze badges
4	1	András Kovács 4212 silver badges5 bronze badges

554	59	Andrej Bauer 23.1k1 gold badge62 silver badges108 bronze badges
519	47	Neel Krishnaswami 29.3k81 silver badges155 bronze badges
408	59	cody 11.8k34 silver badges66 bronze badges
219	14	Dave Clarke 16.2k3 gold badges54 silver badges105 bronze badges
120	16	Martin Berger 9,7152 gold badges31 silver badges61 bronze badges
90	7	Andreas Rossberg 1,1559 silver badges11 bronze badges
79	9	Damiano Mazza 3,9781 gold badge16 silver badges31 bronze badges
69	7	Uday Reddy 4,46624 silver badges36 bronze badges
59	4	Noam Zeilberger 3,93019 silver badges31 bronze badges
49	5	Charles Stewart 4,18623 silver badges45 bronze badges
49	3	Gilles 'SO- stop being evil' 2,4971 gold badge23 silver badges33 bronze badges
46	5	Marc Hamann 2,7341 gold badge20 silver badges22 bronze badges
40	1	pigworker 5064 silver badges7 bronze badges
39	4	jbapple 5,4442 gold badges24 silver badges49 bronze badges
39	3	Sam Tobin-Hochstadt 1,82711 silver badges21 bronze badges
36	1	Dana Scott 3763 silver badges2 bronze badges
35	6	Dominic Mulligan 8079 silver badges15 bronze badges
33	6	gasche 1,5621 gold badge13 silver badges13 bronze badges
29	4	András Kovács 4212 silver badges5 bronze badges
28	1	Steven Shaw 4744 silver badges9 bronze badges

8	1	jmite 2,2029 silver badges27 bronze badges
5	1	Turion 5643 silver badges12 bronze badges
4	1	Yasmine Shaorda 411 bronze badge
1	1	Nift 536 bronze badges

127	9	day 2,45516 silver badges26 bronze badges
115	20	MaiaVictor 2,8377 silver badges26 bronze badges
114	3	John Salvatier 1,24511 silver badges11 bronze badges
92	13	Konstantin Solomatov 1,5927 silver badges17 bronze badges
81	12	jmite 2,2029 silver badges27 bronze badges
62	8	StudentType 7473 silver badges9 bronze badges
57	3	Petr Pudlák 2,26110 silver badges22 bronze badges
44	4	Max New 1,1565 silver badges17 bronze badges
42	4	Neel Krishnaswami 29.3k81 silver badges155 bronze badges
40	1	davidk01 5025 silver badges7 bronze badges
40	4	Jake 1,0716 silver badges19 bronze badges
37	4	Alejandro DC 7013 silver badges14 bronze badges
33	1	oconnor0 4433 silver badges6 bronze badges
31	1	Brian McKenna 4133 silver badges6 bronze badges
29	3	mrsteve 4332 silver badges10 bronze badges
28	1	Artem Pelenitsyn 1,0736 silver badges20 bronze badges
28	1	Russell O'Connor 5983 silver badges7 bronze badges
28	1	qazwsx 4515 silver badges7 bronze badges
27	6	pyon 4912 silver badges10 bronze badges
27	1	efrey 3733 silver badges6 bronze badges