Open
Description
This issue tracks cosmetic ideas to incorporate into the Lean 4 translation.
- Replace the generated
SortXinductive names forXSortto increase readability
{{ message }}
This issue tracks cosmetic ideas to incorporate into the Lean 4 translation.
SortX inductive names for XSort to increase readability