Skip to content

feat(lean,#18430): LeanDojo-v2 volet A -- install mesurée WSL + smoke 6/6 + carnet compagnon Lean-10b (DynamicDatabase + Pantograph) - #19057

Merged
myia-ai-01 merged 7 commits into
mainfrom
feature/18430-leandojo-v2-phase1
Oct 5, 2026
Merged

feat(lean,#18430): LeanDojo-v2 volet A -- install mesurée WSL + smoke 6/6 + carnet compagnon Lean-10b (DynamicDatabase + Pantograph)#19057
myia-ai-01 merged 7 commits into
mainfrom
feature/18430-leandojo-v2-phase1

fix(notebook,#19057): 4 phrases adjoint (clauses provenance/cache/cur…

f2e28b7
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar