F* may refer to:
@lanodan Who even uses this? The only Microsoft languages that I ever see being used are C#, Visual Basic, and Batch files.
@xianc78 And I think Coq (still INRIA…) is much more interesting.
F* may refer to:
@lanodan Who even uses this? The only Microsoft languages that I ever see being used are C#, Visual Basic, and Batch files.
And of course as it's academia… well… it more or less never sees actual practical use outside.