We proof a theorem which implies that planar or symmetric or braided operads with transformations satisfying some conditions yield operad groups of type $F_\infty$. This unifies and extends existing proofs that certain Thompson-like groups are of type $F_\infty$.
Operad groups as a unified framework for Thompson-like groups
Thompson-like groups, Reidemeister numbers, and fixed points
On a free group of transformations defined by an automaton
![QR code for arXiv:1409.1085 [math.GR]](http://oss.arxitics.com/images/favicon.svg)