fix: simp argument elaboration metacontext depth#10615
Open
kmill wants to merge 2 commits intoleanprover:masterfrom
Open
fix: simp argument elaboration metacontext depth#10615kmill wants to merge 2 commits intoleanprover:masterfrom
kmill wants to merge 2 commits intoleanprover:masterfrom
Commits
Commits on Sep 29, 2025
- committed
- committed
