Repository navigation

feat(tweety,#15066): laboratoire FOL Tweety vers certificats Lean - #16888

Merged

myia-ai-01 merged 3 commits into

mainfrom

feature/16877-fol-lab-lean

Sep 22, 2026

Commits on Sep 19, 2026
- Add: Tweety-02d FOL Lab Lean (Tranche B, #16877) - FolBridge + notebook execute
  
  jsboige
  and
  claude
  committed
  df1e415
- Merge main into feature/16877-fol-lab-lean
  
  jsboige
  and
  claude
  committed
  e17f600
- fix(tweety,#16877): rewrap cellule Lecture pins — «#15520» en debut de ligne rendait en taille titre
  
  jsboige
  and
  claude
  committed
  c34d5e8