feat: instances should always be non-recursive#12307
Draft
Kha wants to merge 9 commits intoleanprover:masterfrom
Draft
feat: instances should always be non-recursive#12307Kha wants to merge 9 commits intoleanprover:masterfrom
Kha wants to merge 9 commits intoleanprover:masterfrom
Commits
Commits on Feb 4, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- andauthored
Commits on Feb 5, 2026
- committed
- committed