Sure!

We’re using this mixer …
https://www.allen-heath.com/ahproducts/qu-pac/

… and these microphones:
https://clockaudio.com/products/boundary/c-004e-rf

We ended up letting Zoom do most of the work in terms of microphone sensitivity control and disabled some of the Mixer’s cool features because you can’t have too many systems messing around with this at once. :) Which means a cheaper/simpler mixer would probably do the job.

I can connect you with the audio engineer that has set this up for us if you’d like.