Search for a command to run...
DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data