Yup ultimately it depends on the nature of F*, here's the excerpt about internet of languages taken from the website:-
There is no single best language for all purposes, which is the reason we're building the Tau Meta Language (TML): a language intended to define other languages and translate between them while maintaining the same information. TML allows seamless communication and semantic translation between programming languages, knowledge representation languages, visualization and organization formats, domain-specific languages, and more.
F* is a language developed at Microsoft Research for the formal validation. Quick into is here : https://www.microsoft.com/en-us/research/people/nswamy/