Repository navigation

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

Commits on Sep 21, 2026

Add: Tweety-3b-Modal-Lab-Lean — labo modal croise Kripke/Lean, Tranche C #15066

jsboige
and
claude
committed
8bf1ad9
Fix: hrefs Tweety-02d -> issue #16888 (fichier non merge, levee review Hermes PR #17122)

jsboige
and
claude
committed
9924012

Commits on Sep 22, 2026

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