It sounds like you're burned out, and not 100% sold on the idea of doing a PhD.
I suggest taking a break from school for a year or two, try moving to a country you like better, and reassessing what you want.
If you decide you really are interested in doing a PhD in theorem-proving, and you have talent for doing graduate research in that area, getting back onto that track should be possible.
I suggest taking a break from school for a year or two, try moving to a country you like better, and reassessing what you want.
If you decide you really are interested in doing a PhD in theorem-proving, and you have talent for doing graduate research in that area, getting back onto that track should be possible.