Fix Modal.Tableau under Lean 4.33.1 (split/calc over ite/match under projections) + CI builds the archive - #2

Fix Modal.Tableau under Lean 4.33.1 (split/calc over ite/match under projections) + CI builds the archive#2

jsboige merged 1 commit into

mainMyIntelligenceAgency/ModalLogic:mainfrom

fix/17522-tableau-4-33MyIntelligenceAgency/ModalLogic:fix/17522-tableau-4-33Copy head branch name to clipboard