Skip to content

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

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

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

Update Cslib/Logics/LinearLogic/CLL/CutFree.lean

522e6c6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
check-pr-title
succeeded Oct 21, 2026 in 4s