Language

DeepSeek-Prover

Models that write formal proofs in Lean 4.

Versions

4 versions
DeepSeek-Prover: every version, with specs and benchmarks · supermarket.dev