|
|
|
|
|
|
by Merrill
2456 days ago
|
|
|
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. |
|
|