Yes, Microsoft Research is huge in this space. Z3, Boogie, Corral, Dafny, F\*, L... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

mintplant 8 months ago | parent | context | favorite | on: Dafny is a verification-aware programming language

Yes, Microsoft Research is huge in this space. Z3, Boogie, Corral, Dafny, F*, Lean...

naasking 8 months ago [–]

F* seemed promising at one point, but haven't heard much about it in a long time, what happened to it?

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact