If you intend to go into industry, what is the industrial job market for interactive theorem proving? If it is not so good, then you will be doing a career chan

If you intend to go into industry, what is the industrial job market for interactive theorem proving? If it is not so good, then you will be doing a career change at the end of your PhD and at least part of the degree's value will have been lost.