Skip to content

feat: bound kernel recursion by maxRecDepth#13956

Merged
Kha merged 3 commits into
leanprover:masterfrom
Kha:push-suozorvvkkpz
Jul 7, 2026
Merged

feat: bound kernel recursion by maxRecDepth#13956
Kha merged 3 commits into
leanprover:masterfrom
Kha:push-suozorvvkkpz

fix: give the kernel recursion limit headroom over `maxRecDepth`

6baff05
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar