Skip to content

[Merged by Bors] - chore(Data/Tree/Basic): Rename Tree to BinaryTree#39707

Closed
sorrachai wants to merge 45 commits into
leanprover-community:masterfrom
sorrachai:rename_tree_to_binary_tree
Closed

[Merged by Bors] - chore(Data/Tree/Basic): Rename Tree to BinaryTree#39707
sorrachai wants to merge 45 commits into
leanprover-community:masterfrom
sorrachai:rename_tree_to_binary_tree

Commits

Commits on May 22, 2026

Commits on May 24, 2026

Commits on May 28, 2026

Commits on Jun 8, 2026