Comment on Dafny is a verification-aware programming languageparentComments−pjmlp2yWhich is also a Microsoft created language,https://en.wikipedia.org/wiki/Lean_(proof_assistant)−mintplant2yYes, Microsoft Research is huge in this space. Z3, Boogie, Corral, Dafny, F*, Lean...−naasking2yF* seemed promising at one point, but haven't heard much about it in a long time, what happened to it?
Comments
Which is also a Microsoft created language,
https://en.wikipedia.org/wiki/Lean_(proof_assistant)
Yes, Microsoft Research is huge in this space. Z3, Boogie, Corral, Dafny, F*, Lean...
F* seemed promising at one point, but haven't heard much about it in a long time, what happened to it?