DeepSeek Prover V2
DeepSeek
DeepSeek·Text
LLM de código abierto especializado en demostración formal de teoremas en Lean 4, basado en una cadena recursiva de demostración de teoremas.
