Skip to content

rename(tweety,#16231): PR-b -- suffixe Python/Lean et paire 11-Causal - #19502

Merged
myia-ai-01 merged 11 commits into
mainfrom
fix/16231-tweety-suffixes-b
Oct 7, 2026
Merged

rename(tweety,#16231): PR-b -- suffixe Python/Lean et paire 11-Causal#19502
myia-ai-01 merged 11 commits into
mainfrom
fix/16231-tweety-suffixes-b

Commits

  1. Commits on Oct 6, 2026

  2. Commits on Oct 7, 2026