fix: port to Lean v4.33.1 (toolchain, manifest, tactic adaptations) - #3

fix: port to Lean v4.33.1 (toolchain, manifest, tactic adaptations)#3

jsboige merged 1 commit into

mainMyIntelligenceAgency/ModalLogic:mainfrom

port/17522-toolchain-4-33-1MyIntelligenceAgency/ModalLogic:port/17522-toolchain-4-33-1Copy head branch name to clipboard