Skip to content

feat(tweety,#15066): Tweety-3b-Modal-Lab-Lean — labo modal croisé Kripke/Lean (Tranche C) - #17122

Merged
myia-ai-01 merged 3 commits into
mainfrom
feature/15066-tweety-3b-modal-lab
Sep 24, 2026
Merged

feat(tweety,#15066): Tweety-3b-Modal-Lab-Lean — labo modal croisé Kripke/Lean (Tranche C)#17122
myia-ai-01 merged 3 commits into
mainfrom
feature/15066-tweety-3b-modal-lab

Merge branch 'main' into feature/15066-tweety-3b-modal-lab

fc00ae5
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar