2 ms·

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

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