yalhessi
/

lemexp-hol-thms-by-file-deepseek-coder-1.3b-base

Generated from Trainer

Model card Files Files and versions

lemexp-hol-thms-by-file-deepseek-coder-1.3b-base / .gitattributes

Commit History

initial commit

ed649ea
verified

yalhessi commited on Feb 2