UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

4 lines (1 loc) • 69 B
1
2
3
4
export const safeCharactersRegExp = new RegExp('[a-zA-Z0-9_~.+-]')