DeepSeek Prover V2
DeepSeek
DeepSeek·Text
LLM open source spécialisé dans la démonstration formelle de théorèmes en Lean 4, basé sur un pipeline récursif de démonstration de théorèmes.
