lean4-code-actions/libs/utils/function.ts

Refactorings and snippets for Lean 4

import voca from 'voca'

const { kebabCase, titleCase } = voca

export function humanize(functionName: string) {
  return titleCase(kebabCase(functionName)).replace(/-/g, ' ')
}