Are there developments of model theory in Coq?

[LessnessR]

I know there are many developments of category theory (there’s post about it here where they are listed), but what about model theory?

Thanks in advance.