Goedel-LM
/

Goedel-Prover-SFT

Model card Files Files and versions Community

Goedel-Prover-SFT / .gitattributes

Commit History

initial commit

db63f33
verified

linyongver commited on 26 days ago