Skip to content

feat(lean,#15066): pont modal Tweety<->FFL — FormalLogic.ModalBridge (tranche C) - #17017

Merged
myia-ai-01 merged 1 commit into
mainfrom
feature/15066-tranche-c-modal
Sep 21, 2026
Merged

feat(lean,#15066): pont modal Tweety<->FFL — FormalLogic.ModalBridge (tranche C)#17017
myia-ai-01 merged 1 commit into
mainfrom
feature/15066-tranche-c-modal

Commits

  1. Commits on Sep 20, 2026