Tag Info

type-theory Questions

Neel Krishnaswami

29.7k83 silver badges155 bronze badges

569	61	Andrej Bauer 23.5k1 gold badge62 silver badges108 bronze badges
531	48	Neel Krishnaswami 29.7k83 silver badges155 bronze badges
417	60	cody 12k36 silver badges69 bronze badges
219	14	Dave Clarke 16.2k3 gold badges55 silver badges105 bronze badges
121	16	Martin Berger 9,8052 gold badges31 silver badges61 bronze badges
90	7	Andreas Rossberg 1,1559 silver badges11 bronze badges
79	9	Damiano Mazza 4,0181 gold badge17 silver badges31 bronze badges
69	7	Uday Reddy 4,49625 silver badges36 bronze badges
59	4	Noam Zeilberger 3,94019 silver badges31 bronze badges
49	3	Gilles 'SO- stop being evil' 2,5071 gold badge23 silver badges33 bronze badges
49	5	Charles Stewart 4,19623 silver badges45 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 10.6k2 gold badges24 silver badges50 bronze badges
39	3	Sam Tobin-Hochstadt 1,82711 silver badges21 bronze badges
37	5	András Kovács 5012 silver badges5 bronze badges
36	1	Dana Scott 3763 silver badges2 bronze badges
35	6	Dominic Mulligan 8079 silver badges15 bronze badges
34	6	gasche 1,5821 gold badge13 silver badges13 bronze badges
28	1	Steven Shaw 4744 silver badges9 bronze badges

4	1	Nift 1878 bronze badges
4	1	Labbekak 6192 silver badges8 bronze badges

127	9	day 2,45516 silver badges26 bronze badges
115	20	MaiaVictor 2,8477 silver badges26 bronze badges
114	3	John Salvatier 1,24511 silver badges11 bronze badges
92	13	Konstantin Solomatov 1,5928 silver badges17 bronze badges
84	13	jmite 2,2429 silver badges27 bronze badges
62	8	StudentType 7473 silver badges9 bronze badges
61	3	Petr Pudlák 2,31110 silver badges22 bronze badges
46	4	Max New 1,1755 silver badges18 bronze badges
42	4	Neel Krishnaswami 29.7k83 silver badges155 bronze badges
41	1	davidk01 5125 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	qazwsx 4615 silver badges7 bronze badges
28	1	Russell O'Connor 5983 silver badges7 bronze badges
28	1	Artem Pelenitsyn 1,0736 silver badges20 bronze badges
27	6	pyon 4912 silver badges10 bronze badges
27	3	Nikolaj-K 4812 silver badges10 bronze badges