Allow special characters in generated Lean 4 identifiers#4729
Merged
automergerpr-permission-manager[bot] merged 4 commits intodevelopfrom Jan 8, 2025
Merged
Allow special characters in generated Lean 4 identifiers#4729automergerpr-permission-manager[bot] merged 4 commits intodevelopfrom
automergerpr-permission-manager[bot] merged 4 commits intodevelopfrom
Commits
Commits on Jan 8, 2025
- committed
- committed
- committed
- committed
