fix(Archive): build the whole ModalLogicArchive under Lean 4.33.1 - #1

fix(Archive): build the whole ModalLogicArchive under Lean 4.33.1#1

jsboige wants to merge 1 commit into

coursia-v4.33.1-compatMyIntelligenceAgency/ModalLogic:coursia-v4.33.1-compatfrom

coursia-archive-tableau-4.33.1MyIntelligenceAgency/ModalLogic:coursia-archive-tableau-4.33.1Copy head branch name to clipboard