Pclanglais
/

deepseek-prover-solver

Model card Files Files and versions

deepseek-prover-solver / .gitattributes

Commit History

initial commit

72798c4
verified

Pclanglais commited on Jul 30