Modelpublic

JobPetrovcic/leandojo-lean4-retriever-novel-premises

sourceHugging Faceupdated 1y agoView on Hugging Face

0likes7downloads

2 commits on main

d298a6f1y ago

Upload folder using huggingface_hub

JobPetrovcic

f7ba80c1y ago

initial commit

JobPetrovcic