feat: recipe for logical fragments and multiplicative linear logic#504

fmontesi merged 11 commits intomainleanprover/cslib:mainfrom

cll-fragmentsleanprover/cslib:cll-fragmentsCopy head branch name to clipboard