Skip to content

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

Open
fmontesi wants to merge 3 commits into
mainfrom
fmontesi/cut-elim
Open

feat(Logic/CLL): cut elimination for Classical Linear Logic (CLL)#944
fmontesi wants to merge 3 commits into
mainfrom
fmontesi/cut-elim

Merge branch 'main' into fmontesi/cut-elim

0a7ee27
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar