feat(Logic/CLL): cut elimination for Classical Linear Logic (CLL) - #944

feat(Logic/CLL): cut elimination for Classical Linear Logic (CLL)#944

fmontesi wants to merge 3 commits into

mainleanprover/cslib:mainfrom

fmontesi/cut-elimleanprover/cslib:fmontesi/cut-elimCopy head branch name to clipboard