Skip to content

feat(lean,#18397): tranche 3 -- extraction arcPartition vers Knots/ArcPartition.lean (sibling EN) - #19284

Open
jsboige wants to merge 5 commits into
mainfrom
feature/18397-tranche3-arcpartition
Open

feat(lean,#18397): tranche 3 -- extraction arcPartition vers Knots/ArcPartition.lean (sibling EN)#19284
jsboige wants to merge 5 commits into
mainfrom
feature/18397-tranche3-arcpartition

Merge remote-tracking branch 'origin/main' into feature/18397-tranche…

2b0304f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar