Repository navigation

docs(notebooks,#16638): reaccent Lean-4 Quantifiers (filtre print C.2) - #16956

Merged

myia-ai-01 merged 6 commits into

mainfrom

feature/16638-deaccent-lean4

Sep 23, 2026

Commits on Sep 20, 2026
- docs(notebooks,#16638): reaccent Lean-4 Quantifiers (filtre print C.2)
  
  jsboige
  and
  claude
  committed
  8d1fb8b
- Merge branch 'main' into feature/16638-deaccent-lean4
  jsboige
  authored
  e5a2b4e
Commits on Sep 21, 2026
Commits on Sep 22, 2026
- fix(lean,#16956): revert 3 #eval to prouve + restore participle prouve (option a, ai-01 review)
  
  jsboige
  and
  claude
  committed
  e5a14f8