sean-lamont
/

leandojo-lean3-reprover-novel-premises

Text2Text Generation

text-generation-inference

Inference Endpoints

Model card Files Files and versions Community

leandojo-lean3-reprover-novel-premises

1 contributor

History: 1 commit

sean-lamont's picture

initial commit

215f899 verified 6 months ago

.gitattributes

1.52 kB

initial commit 6 months ago