>> I'd like to see better theorem proving, proof repair, refinement and specification synthesis. Thanks for making me smile. Some of us are working on exactly

>> I'd like to see better theorem proving, proof repair, refinement and specification synthesis. Thanks for making me smile. Some of us are working on exactly that kind of thing :)