DeepSeek Prover V2
DeepSeek
DeepSeek·Text
LLM de código aberto especializado em demonstração formal de teoremas em Lean 4, construído sobre um pipeline recursivo de demonstração de teoremas.
