True. There are many frontends for Z3 that focus on various domains. For instance, those developed at Microsoft: - Dafny: https://www.microsoft.com/en-us/resea

True. There are many frontends for Z3 that focus on various domains. For instance, those developed at Microsoft: - Dafny: https://www.microsoft.com/en-us/research/project/dafny-a-language-and-program-verifier-for-functional-correctness/ https://www.microsoft.com/en-us/research/project/dafny-a-lan... - Coral: https://www.microsoft.com/en-us/research/project/q-program-verifier/ https://www.microsoft.com/en-us/research/project/q-program-v... - Ivy: https://github.com/microsoft/ivy https://github.com/microsoft/ivy