You are viewing a single comment's thread from:
RE: Demo coming soon? Tau Meta Language in C++ updated on Github.
ultimately it depends on the nature of F*
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/