Comment by crabbone
3 months ago
I have a misfortune to know personally some of the mid-to-high level execs from MS. What I write is based on the experience of working with these people. And I don't even know what Z3, Lean or F* are, so, pardon my ignorance, but I cannot answer your question.
No comments yet
Contribute on Hacker News ↗