Need to test GPU accelerated proofs on macOS
Need to test GPU accelerated proofs on macOS