Contribute to pandaman64/lean-regex development by creating an account on GitHub.