DeepSeek-Prover-V2

Solve complex theorems in Lean 4 with an open-source model combining informal reasoning and formal proofs. Break down problems into sub-objectives and generate detailed solutions.

Free

Similar listings in category