Tag Info

linear-logic Questions

52	6	Neel Krishnaswami 31.1k90 silver badges160 bronze badges
23	4	Damiano Mazza 4,5931 gold badge18 silver badges33 bronze badges
21	2	Uday Reddy 4,61626 silver badges37 bronze badges
17	1	Rob Simmons 2,35613 silver badges24 bronze badges
16	2	Charles Stewart 4,25626 silver badges45 bronze badges
15	1	Beniamino Accattoli 1513 bronze badges
11	1	Martin Berger 10.1k3 gold badges34 silver badges62 bronze badges
11	1	Sylvain 3,30424 silver badges22 bronze badges
10	1	Stéphane Gimenez 3563 silver badges11 bronze badges
9	1	Dimitris Mostrous 911 bronze badge
9	1	yhirai 9637 silver badges21 bronze badges
9	1	Dave Clarke 16.4k3 gold badges58 silver badges106 bronze badges
9	1	Andrej Bauer 25.6k1 gold badge68 silver badges116 bronze badges
8	1	Paulo 4464 silver badges3 bronze badges
8	1	Noam Zeilberger 4,20121 silver badges32 bronze badges
7	1	Nick Rioux 1854 bronze badges
7	1	Arthur Azevedo De Amorim 1711 silver badge3 bronze badges
5	1	Jacques Carette 1,48013 silver badges23 bronze badges
5	1	cody 12.8k1 gold badge39 silver badges83 bronze badges
5	1	gasche 1,8421 gold badge15 silver badges15 bronze badges

95	7	Neel Krishnaswami 31.1k90 silver badges160 bronze badges
20	3	Łukasz Lew 1,1473 silver badges12 bronze badges
18	1	Anonymous 3,97317 silver badges40 bronze badges
16	2	valya 4072 silver badges7 bronze badges
15	1	Rob 7957 silver badges19 bronze badges
11	1	Maciej Piechotka 2211 silver badge5 bronze badges
9	2	Andrew Bacon 4332 silver badges8 bronze badges
8	1	Sebastien Zany 813 bronze badges
8	3	MaiaVictor 3,0059 silver badges28 bronze badges
7	1	Noam Zeilberger 4,20121 silver badges32 bronze badges
6	1	Mike Shulman 4702 silver badges10 bronze badges
6	1	user782220 734 bronze badges
5	1	Gus O'Hanley 536 bronze badges