Skip to content

docs(notebooks,#16638): reaccent Lean-10 LeanDojo (filtre print C.2) #16943

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 18 commits into from
Sep 25, 2026
Merged

docs(notebooks,#16638): reaccent Lean-10 LeanDojo (filtre print C.2) #16943

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
18 commits
Select commit Hold shift + click to select a range
cc4d189
docs(notebooks,#16638): reaccent Lean-10 LeanDojo (filtre print C.2)
jsboige Sep 20, 2026
eecfca1
fix(notebooks,#16638): restaure la tactique Lean decide corrompue par…
jsboige Sep 20, 2026
a3321db
Merge branch 'main' into feature/16638-deaccent-lean10-leandojo
jsboige Sep 20, 2026
1899acd
fix(lean,#16943): REPAIR-9 additif -- 4 fautes REACCENT upstream corr…
jsboige Sep 21, 2026
cd0fba8
fix(notebooks,#16943): re-trigger CI after PR gate flaky
jsboige Sep 22, 2026
ca1a92d
Merge branch 'main' into feature/16638-deaccent-lean10-leandojo
jsboige Sep 22, 2026
5bd771c
fix(lean,#16943): re-exec Lean-10 with real LeanDojo — replace [SKIP]…
jsboige Sep 23, 2026
c2eeaa6
fix(lean,#16943): restaurer OPERATIONS degrade par REACCENT (reserve …
jsboige Sep 23, 2026
f22d63e
fix(lean,#16943): re-exec WSL python 3.12 — corriger le kernel drift …
jsboige Sep 23, 2026
706f3f7
Merge branch 'main' into feature/16638-deaccent-lean10-leandojo
jsboige Sep 23, 2026
c2f9dc9
fix(guard,#16638): scan_enrich_quality _TODO_RE reconnaît TODO étudia…
jsboige Sep 23, 2026
71f66d2
Fix: Lean-10 cellule 14 -- affichage repo-relatif du Notebook dir (MA…
jsboige Sep 23, 2026
6583c17
Merge branch 'main' into feature/16638-deaccent-lean10-leandojo
jsboige Sep 23, 2026
c904874
fix(lean,#16943): classe verbale REACCENT — 4 cellules code corrigees…
jsboige Sep 24, 2026
7f6c5e6
fix(lean,#16943): restaurer les 4 separateurs hr markdown '---' degra…
jsboige Sep 24, 2026
be0228e
fix(lean,#16943): restaurer les 6 labels timer.start a la forme main …
jsboige Sep 24, 2026
d634744
fix(lean,#16943): cellule 2 print restaure a la forme main 'Operation…
jsboige Sep 24, 2026
78cd877
Merge branch 'main' into feature/16638-deaccent-lean10-leandojo
jsboige Sep 25, 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
Loading
Loading