feat: allow structures to have non-bracketed binders#8671
Merged
kmill merged 3 commits intoleanprover:masterfrom Jun 17, 2025
Merged
feat: allow structures to have non-bracketed binders#8671kmill merged 3 commits intoleanprover:masterfrom
kmill merged 3 commits intoleanprover:masterfrom
Commits
Commits on Jun 6, 2025
Commits on Jun 7, 2025
Commits on Jun 17, 2025
- committed