Skip to content

Add(notebook,#21958): Pli 6 tranche C -- jumeau anglais de ANALYSE-12 + coherence de la table ANALYSE #22383

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
myia-ai-01 merged 7 commits into from
Oct 26, 2026
Merged

Add(notebook,#21958): Pli 6 tranche C -- jumeau anglais de ANALYSE-12 + coherence de la table ANALYSE #22383

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
7 commits
Select commit Hold shift + click to select a range
6e0d02c
Add(notebook,#21958): Pli 6 tranche C -- jumeau anglais de ANALYSE-12
jsboige Oct 24, 2026
cc5496a
Fix(translation,#21958): ANALYSE-12 _en -- ids recopies, arete de nav…
jsboige Oct 24, 2026
11c648c
Fix(translation,#21958): ligne reciproque French version dans la Navi…
jsboige Oct 25, 2026
10f14a9
Merge origin/main into feature/21958-analyse12-en
jsboige Oct 25, 2026
ee85a53
Merge origin/main into feature/21958-analyse12-en (Sona test correcti…
jsboige Oct 25, 2026
57e40ed
Merge branch 'main' into feature/21958-analyse12-en
jsboige Oct 25, 2026
f72d73a
Fix(analyse,#21958): ligne ANALYSE-09 du README -- 'quatre fenetres' …
jsboige Oct 26, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions MyIA.AI.Notebooks/SymbolicAI/Lean/ANALYSE/ANALYSE-12-Comptage-Matching-Lean-Python.ipynb
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,7 @@
},
"source": [
"# ANALYSE-12 : Compter les couplages parfaits — le permanent comme pont, Lean d'un côté, énumération de l'autre\n",
"\n**Version anglaise** : [ANALYSE-12 (en)](ANALYSE-12-Comptage-Matching-Lean-Python_en.ipynb)\n",
"\n",
"Pli 6 de l'Epic Origami `openai/math` (#19898, tranche B : #21958). La série ANALYSE confronte un énoncé de recherche à ce que le dépôt sait prouver ; ici, l'énoncé est un problème de **comptage**.\n",
"\n",
Expand Down
Loading
Loading