Not for everyone. Not all of us (especially unemployed) have the big bucks to buy the machines required.

But you can download gcc in a cheap laptop and create a theorem prover e.g.