1 paper
Fabian Huch, Vincent Bode
Choosing hardware for theorem proving is no simple task: automated provers are highly complex and optimized programs, often utilizing a parallel computation model, and there is lit…