2 ms·
Dafny is a great example of what you are talking about. It automated most of the proving. However you still need to figure out the key invariants.
by mbrodersen 4y ago
Dafny is a great example of what you are talking about. It automated most of the proving. However you still need to figure out the key invariants.