The Stringsfunctions+ module provides an additional attribute type.
In terms of its settings, “Translatable Formula” corresponds to a conventional formula attribute.
However, unlike conventional formula attributes, it can be translated, for example, in the Translation Manager, if it is configured to be language-dependent.