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/
You are viewing a single comment's thread from:
Sort: Trending