Comment on Dafny is a verification-aware programming languageComments−ComputerGuru2yfyi Dafny is written by Microsoft and used by Amazon: https://www.amazon.science/blog/how-we-built-cedar-with-auto...−mintplant2yRecently replaced by Lean, though. At least in Cedar.https://github.com/cedar-policy/cedar-spechttps://lean-lang.org−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?−ComputerGuru2yThanks for that. Any idea why? Couldn't find anything by searching their github repo.
Comments
fyi Dafny is written by Microsoft and used by Amazon: https://www.amazon.science/blog/how-we-built-cedar-with-auto...
Recently replaced by Lean, though. At least in Cedar.
https://github.com/cedar-policy/cedar-spec
https://lean-lang.org
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?
Thanks for that. Any idea why? Couldn't find anything by searching their github repo.