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

Commit History

End of training

7224717
verified

yalhessi commited on Feb 2

initial commit

ed649ea
verified

yalhessi commited on Feb 2