Tag Info

linear-logic Questions

49	6	Neel Krishnaswami 29.3k81 silver badges155 bronze badges
21	4	Damiano Mazza 3,9781 gold badge16 silver badges31 bronze badges
21	2	Uday Reddy 4,45624 silver badges36 bronze badges
17	1	Rob Simmons 2,33611 silver badges23 bronze badges
16	2	Charles Stewart 4,18623 silver badges45 bronze badges
15	1	Beniamino Accattoli 1513 bronze badges
11	1	Martin Berger 9,6952 gold badges31 silver badges61 bronze badges
11	1	Sylvain 3,22422 silver badges22 bronze badges
10	1	Stéphane Gimenez 3563 silver badges11 bronze badges
9	1	Dimitris Mostrous 911 bronze badge
9	1	yhirai 9537 silver badges21 bronze badges
9	1	Andrej Bauer 22.9k1 gold badge61 silver badges108 bronze badges
9	1	Dave Clarke 16.1k3 gold badges53 silver badges103 bronze badges
8	1	Noam Zeilberger 3,93019 silver badges31 bronze badges
8	1	Paulo 4464 silver badges3 bronze badges
6	1	Nick Rioux 1754 bronze badges
6	1	Arthur Azevedo De Amorim 1611 silver badge3 bronze badges
5	1	Jacques Carette 1,18811 silver badges20 bronze badges
5	1	cody 11.8k34 silver badges66 bronze badges
5	1	gasche 1,5621 gold badge12 silver badges13 bronze badges

91	7	Neel Krishnaswami 29.3k81 silver badges155 bronze badges
19	3	Łukasz Lew 9352 silver badges12 bronze badges
18	1	Anonymous 3,78313 silver badges36 bronze badges
15	2	valya 3871 silver badge7 bronze badges
15	1	Rob 7957 silver badges19 bronze badges
11	1	Maciej Piechotka 2211 silver badge5 bronze badges
9	2	Andrew Bacon 3511 silver badge8 bronze badges
8	1	Sebastien Zany 813 bronze badges
8	3	MaiaVictor 2,8377 silver badges26 bronze badges
8	1	Noam Zeilberger 3,93019 silver badges31 bronze badges
6	1	user782220 734 bronze badges
5	1	Gus O'Hanley 536 bronze badges
5	1	Mike Shulman 3881 silver badge10 bronze badges