DeepSeek Prover V2
DeepSeek
DeepSeek·Text
Open-source LLM specialized in formal theorem proving in Lean 4, built on a recursive theorem-proving pipeline.
