OpenProver is a theorem prover powered by language models that uses a planner-worker architecture to...