F* may refer to:
@lanodan I see neither of them being used and they are both owned by Microsoft.
@xianc78 F star is more like INRIA being sponsored by Microsoft.
And of course as it's academia… well… it more or less never sees actual practical use outside.
And of course as it's academia… well… it more or less never sees actual practical use outside.
@xianc78 And I think Coq (still INRIA…) is much more interesting.
@lanodan Oh yeah and TypeScript. Forgot that they own that.