Skip to content

fix(lean,#17357): Lean-06 -- 8 constats d'audit corriges (version, imports, lemmes, ordre des exercices) - #20155

Open
jsboige wants to merge 2 commits into
mainfrom
fix/17357-lean-06-stale-claims
Open

fix(lean,#17357): Lean-06 -- 8 constats d'audit corriges (version, imports, lemmes, ordre des exercices)#20155
jsboige wants to merge 2 commits into
mainfrom
fix/17357-lean-06-stale-claims

fix(lean,#17357): Lean-06 -- re-execution integrale sous lean4-wsl (a…

e2b4f6f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar