In earlier versions of Ivy, formulas and terms were different syntactic categories. As of Ivy 1.7, the concepts have been combined into a single term grammar. "Formula" is now just synonymous with "term".

Both of these concepts are synonymous in Ivy with expressions, and that's the page that has the actual definition.