Skip to content

[Merged by Bors] - chore: use NeBot in left and right limits#41079

Closed
sgouezel wants to merge 3 commits into
leanprover-community:masterfrom
sgouezel:SG_useNeBot
Closed

[Merged by Bors] - chore: use NeBot in left and right limits#41079
sgouezel wants to merge 3 commits into
leanprover-community:masterfrom
sgouezel:SG_useNeBot