Blog personnel d'Arthur Milchior

I'm writting a paper and I needed to write down the rules of Linear Logic. Since I guess it may help other people working on linear logic who may want to copy paste and see how to do linear logic sequent proof, I share the .tex document with the rules. It uses the packages bussproof to show proof-tree and cmll for linear logic symbols.

You can see the rule on this pdf.

Even I I'm sure some people will need it, I really wonder if this people will find this document... and if you are here because that is what you wanted, please leave a comment, I would be really impressed !